bug#10519: guile and (mini-)gmp

[Mark H Weaver]

Hi Andy,

Andy Wingo <address@hidden> writes:
> A ping on this bug on getting Guile to have the possibility of using an
> embedded copy of mini-gmp.

I'm embarrassed to admit that the integration of mini-gmp into guile has
long been waiting on my pending numerics patches.  I'll try to get going
on this (and some other things) for the 2.0.8 release.

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10519#8

    Thanks,
      Mark