Where to find “gmp.h”?

Question

I am installing a library, and got this error message:

xxxx@ubuntu$ make
(cd num; make all)
make[1]: Entering directory `/home/xxxx/num\'
make[1]: Nothing to         


        

Answer 1

In Centos 6.5 it is sudo yum install gmp gmp-devel gmp-status.

ProTip: Just search for the gmp in yum and also check out yum provides command.