On Apr 5, 2012, at 15:07 , Richard Guenther wrote: > Nice. Thanks :)
> I suppose this would enable a --disable-fixinclude? fixinclude can > take quite some time when a lot of headers are installed and if we are > not going to install them, why produce them ... That was another suggestion in the original thread. I agree it might be interesting as well, but that remains a different thing and the Makefile target remains useful even without this. First, we often need the fixed include files to build the libraries in any case. And most of the time, we (at least we=us at AdaCore) need to keep the possibility to have both kinds of install targets from a single tree. We use the regular "install" on our machines and the no-fixedincludes one to produce binary distributions, so we don't distribute sources derived from system ones. We also package a program gcc provides to (re)execute fix-includes at install time. Olivier