mini-gmp

[paul zimmermann]

       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
#define __GNU_MP_VERSION_PATCHLEVEL 2

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

Paul