mini-gmp

[Vincent Lefevre]

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 <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)