bug#10519: guile and (mini-)gmp

[Torbjorn Granlund]

address@hidden (Niels Möller) writes:

  Andy Wingo <address@hidden> writes:
  
  > One suggestion, if it's possible: it would be great if mini-gmp could
  > make it to be part of gnulib at some point.
  
  It's main home will be the GMP repo and distributions. But that doesn't
  exclude that it's also copied into gnulib, if that's convenient.
  
We should make a VERY clear note in the file about the home position,
and that the file should better not be extended and put into gnulib, to
avoid incompatibility between two version.

This is not about being in control, but about avoiding to confuse users
with incompatible mini-gmp.c variants.

-- 
Torbjörn