Kaveh R. GHAZI wrote on 12/04/06 21:32:

That idea got nixed, but I think it's time to revisit it.  Paolo has
worked out the kinks in the configury and we should apply his patch and
import the gmp/mpfr sources, IMHO.

Yes, I vote to include gmp/mpfr in the tree. If gmp/mpfr is still a fluid target, we could add svn glue code to avoid commits to the sub-tree and rely exclusively on wholesale import.

Reply via email to