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

[David Michel]

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 libgmp.so.4.2.2 or
similar...I only have the 3.4.2
which was installed previously with my ubuntu distribution.

micd at passive:~$ locate libgmp
/home/micd/Desktop/gmp-4.2.4/libgmp.la
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.a
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.la
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.lai
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.so
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.so.3
/home/micd/Desktop/gmp-4.2.4/.libs/libgmp.so.3.4.4
/usr/lib/libgmp.so.3
/usr/lib/libgmp.so.3.4.2
/usr/lib/ssl/engines/libgmp.so
/usr/local/lib/libgmp.a
/usr/local/lib/libgmp.la
/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.so.3
/usr/local/lib/libgmp.so.3.4.4
/usr/share/doc/libgmp3c2
/usr/share/doc/libgmp3c2/FAQ
/usr/share/doc/libgmp3c2/NEWS.gz
/usr/share/doc/libgmp3c2/README
/usr/share/doc/libgmp3c2/README.Debian
/usr/share/doc/libgmp3c2/TODO.Debian
/usr/share/doc/libgmp3c2/changelog.Debian.gz
/usr/share/doc/libgmp3c2/changelog.gz
/usr/share/doc/libgmp3c2/copyright
/var/lib/dpkg/info/libgmp3c2.list
/var/lib/dpkg/info/libgmp3c2.md5sums
/var/lib/dpkg/info/libgmp3c2.postinst
/var/lib/dpkg/info/libgmp3c2.postrm
/var/lib/dpkg/info/libgmp3c2.shlibs

How can I solve this problem ?

Cheers

David