Subject: Re: bug#10519: guile and (mini-)gmp

From: Andy Wingo <[email-masked]>
Date: Sat, 02 Mar 2013 21:04:55 +0100

Hi,

A ping on this bug on getting Guile to have the possibility of using an
embedded copy of mini-gmp.

 1. What is the status of mini-gmp?  I understand that you use it in GMP
    itself, so hopefully mini-gmp is in a good state, upstream.

 2. Has anyone looked at getting mini-gmp into Gnulib?

We are working on another Guile release and if this feature is close to
completion, it could make it into the release.

Cheers,

Andy
-- 
http://wingolog.org/