paul zimmermann <paul.zimmerm...@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 __GMP_IS_MINI #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? -- Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
