On 2014-01-18 11:00:38 +0100, Zimmermann Paul wrote: > 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";
Is there any reason to do that? As said a few days ago, mini-gmp isn't GMP. > 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 Couldn't MPFR include mini-gmp.h instead of gmp.h when configured with mini-gmp? Renaming some file that is not the GMP header file to gmp.h is a bad idea, IMHO. > 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[]; See above. -- Vincent Lefèvre <vinc...@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) _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
