mini-gmp

[Torbjörn Granlund]

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