tg at gmplib.org
Fri Dec 8 19:37:31 UTC 2017
paul zimmermann <Paul.Zimmermann at inria.fr> writes:
> 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 __GNU_MP_VERSION 6
#define __GNU_MP_VERSION_MINOR 1
#define __GNU_MP_VERSION_PATCHLEVEL 2
I am not sure we should bind the version numbers like that.
Perhaps each push to the repo should increase an integer, __GNU_MP_MINI?
Please encrypt, key id 0xC8601622
More information about the gmp-devel