Where to find “gmp.h”? February 15, 2023 by Tarik you need to install libgmp3-dev depends on your linux yum install libgmp3-dev apt-get install libgmp3-dev