On Sun, 20 Mar 2016, Andreas Schwab wrote:
Marc Glisse <marc.gli...@inria.fr> writes:
For most packages, providing CFLAGS for configure is enough, you don't
have to give them *again* to make.
The toplevel GCC Makefile needs to pass down any CFLAGS setting that has
been passed in by the user.
Yes, and passing them down to GMP's configure is fine, GMP writes them
down in its Makefile and uses them just fine. Passing them again when
calling make in GMP is redundant and in this case breaks things.
Or do you mean that it is supported, from gcc's directory, to call:
make configure-stage1-gmp
make all-stage1-gmp CFLAGS="something new"
? I don't mind if things break for a user trying to do that.
--
Marc Glisse
