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

This may sound kind of dumb: whenever I got an error , I just did : sudo apt-get install lib-dev and it somehow solved the problem. Don't Know how, something to do with developer libraries or something