[PATCH]: fix the --with-mpfr-dir=PATH configure flag
Kaveh R. GHAZI
ghazi@caip.rutgers.edu
Tue Nov 21 18:28:00 GMT 2006
On Mon, 20 Nov 2006, Mark Mitchell wrote:
> Kaveh, I think we've got the consensus I was seeking. Therefore, unless
> anyone objects in the next 24 hours, I'm going to stand by my last
> position: apply your patch for 4.1, remove the options for 4.2/mainline.
> Or, rather, make them issue errors in 4.2/mainline, so that users
> upgrading from 4.1 will not be silently surprised that the option is
> ignored.
> Thanks,
> Mark Mitchell
Okay I backported the fix to 4.1/4.0. I'll prepare a patch that removes
the --with-*-dir= flags from 4.2/mainline and errors on it. I'll want to
combine it with the following patch so I'll redo them together:
http://gcc.gnu.org/ml/gcc-patches/2006-11/msg01310.html
--Kaveh
--
Kaveh R. Ghazi ghazi@caip.rutgers.edu
More information about the Gcc-patches
mailing list