make check failed due to 32/64 bits problem

Paul Zimmermann Paul.Zimmermann at
Wed Nov 5 08:47:56 CET 2008

> Date: Wed, 05 Nov 2008 10:34:03 +1100
> From: Ling Shi <ling at>
> Marc Glisse wrote:
> > You can try adding -R/usr/sfw/lib/amd64 to LDFLAGS.
> Thanks Marc. This fixed gmp problem.
> But mpfr has trouble to use 64 bits gmp:
> checking for __gmpz_init in -lgmp... no
> configure: error: libgmp not found or uses a different ABI.
> More fun.
> -- 
> Regards,
> Ling Shi

this problem is not related to GMP. My guess is that you hit the following
in the MPFR INSTALL file:

   If the "configure" fails, please check that the C compiler and its
   options are the same as those for the GMP build (specially the ABI).
   You can see the latter with the following command:

     grep "^CC\|^CFLAGS" GMPBUILD/Makefile

   if the GMP build directory is available. Then type:

     ./configure <configure options> CC=<C compiler> CFLAGS=<compiler options>

   and continue the install. On some platforms, you should provide further
   options to match those used by GMP, or set some environment variables.
   For instance, see the "Notes on AIX/PowerPC" section below.

Note that with GMP >= 4.2.3 and MPFR >= 2.4.0 (which should be soon out),
MPFR will automagically get CC/CFLAGS from GMP.

Paul Zimmermann

More information about the gmp-bugs mailing list