paul zimmermann Paul.Zimmermann at
Fri Dec 8 16:38:12 UTC 2017

       Dear Niels,

> If we add a version number to mini-gmp, what should it be? The only
> "releases" of mini-gmp are gmp releases, should we adopt that, and then
> have no well-defined version number for mini-gmp between gmp releases?

it could then be the corresponding GMP release version, for example you could
have in mini-gmp.h:

#define __GMP_IS_MINI
#define __GNU_MP_VERSION            6
#define __GNU_MP_VERSION_MINOR      1

then applications could know the version of mini-gmp is that shipped with
GMP 6.1.2.


More information about the gmp-devel mailing list