Paolo Bonzini <[EMAIL PROTECTED]> writes: > > 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. > > Note that these two issues (my patch, which by the way was started and > tested by Nick Clifton, and whether to import the sources), are > completely separate.
I would be agreeable to a patch which allowed the sources to be in-tree, even if we don't import the sources, provided we can agree on the technical issues thereof. That gives users (esp vendors) the option of merging the sources themselves to save themselves and/or their customers the effort of upgrading all their systems.
