Niels, I finally managed to configure MPFR with mini-gmp, and run make and make check.
I had to disable about 15 tests which use either mpf_t or mpq_t. All the 155 remaining tests pass, except one (texp), I need to investigate. But so far I found no bug in mini-gmp. Good! I had to do a few changes in mini-gmp (see below), in particular I had to do a real "make install", otherwise it is not possible to compile a library like MPFR. Also I had to implement several functions which are not provided by mini-gmp. See the files mpfr-mini-gmp.h and mpfr-mini-gmp.c in the MPFR svn repository. The most wanted are the mpn division functions, I wonder why those functions are not exported. Paul How to compile GNU MPFR with mini-gmp ===================================== (this was tested with MPFR 3.1.2 and GMP 5.1.3 on x86_64 GNU/Linux machine) 1) extract the GMP tarball in say /tmp/gmp-5.1.3 go into /tmp/gmp-5.1.3/mini-gmp add the following line in mini-gmp.c (say at line 43): char gmp_version[] = "5.1.3"; gcc -O2 -g -fPIC -c mini-gmp.c ar r libgmp.a mini-gmp.o 2) create a GMP install directory in say /tmp mkdir /tmp/include mkdir /tmp/lib mv libgmp.a /tmp/lib cp mini-gmp.h /tmp/include/gmp.h 3) do the following changes in /tmp/include/gmp.h: $ diff gmp.h.orig gmp.h 29a30,35 > #define __GNU_MP_VERSION 5 > #define __GNU_MP_VERSION_MINOR 1 > #define __GNU_MP_VERSION_PATCHLEVEL 3 > > extern char gmp_version[]; > 34a41,46 > #endif > > /* random generation functions */ > #ifndef gmp_randstate_t > typedef long int __gmp_randstate_struct; > typedef __gmp_randstate_struct gmp_randstate_t[1]; 4) extract the MPFR tarball in say /tmp/mpfr-3.1.2 ./configure --with-gmp=/tmp --enable-mini-gmp _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel