After installation, 'gmp.h' and 'libgmp' seems to have different versions (4.2.4/4.2.2)

David Michel dmichel76 at
Tue Mar 31 12:47:00 CEST 2009

Hi there,

I'm trying to install the newest GMP 4.2.4 so I downloaded the file
gmp-4.2.4.tar.gz from the website, did the typical ./configure, make,
make check, and finally make install. All is fine and runs without
warnings or error.

I then try to install MPFR 2.4.1 but I get a warning at the configure stage:

checking if gmp.h version and libgmp version are the same... (4.2.4/4.2.2) no
configure: WARNING: 'gmp.h' and 'libgmp' seems to have different versions or
configure: WARNING: we cannot run a program linked with GMP (if you cannot
configure: WARNING: see the version numbers above).
configure: WARNING: However since we can't use 'libtool' inside the configure,
configure: WARNING: we can't be sure. See 'config.log' for details.

I checked /usr/local/include/gmp.h and it is effectively at version 4.2.4.
However, when I locate libgmp, I don't see any or
similar...I only have the 3.4.2
which was installed previously with my ubuntu distribution.

micd at passive:~$ locate libgmp

How can I solve this problem ?



More information about the gmp-discuss mailing list