Fwd: GMP make check failure

[Vincent Lefevre]

Hi,

On 2013-09-28 19:12:04 +0400, Yuri Matiyasevich wrote:
> P.S. Further attempt to install MPFR revealed the following problem with
> GMP:
> 
> checking if gmp.h version and libgmp version are the same... (5.1.2/5.0.2)
> no
> configure: WARNING:
> ==========================================================
> configure: WARNING: 'gmp.h' and 'libgmp' seem 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). A cause may be different
> configure: WARNING: GMP versions with different ABI's or the use of
> --with-gmp
> configure: WARNING: or --with-gmp-include with a system include directory
> configure: WARNING: (such as /usr/include or /usr/local/include).
> configure: WARNING: However since we can't use 'libtool' inside the
> configure,
> configure: WARNING: we can't be sure. See 'config.log' for details.
> configure: WARNING:
> ==========================================================

Solve the GMP problem first and reinstall it.

Once GMP is correctly installed and works, the above problem shouldn't
occur on Ubuntu, as you installed GMP under /usr/local; check that
/etc/ld.so.conf.d/libc.conf contains:

# libc default configuration
/usr/local/lib

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)