Kaveh R. GHAZI wrote on 12/04/06 21:32:
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.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.