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

Because it can happen that you need this library in 32 bit format for any particular reason (like it was for me)

You will need to run (on an Ubuntu/Debian) :

apt-get install  libgmp3-dev:i386

the suffix :i386 behind any library will install the 32 bits version of it.