Re: disabling GCC flags at configure time

2006-11-29 Thread Richard Sandiford
Basile STARYNKEVITCH <[EMAIL PROTECTED]> writes: >> I am thinking of extending the *.opt machinery (ie the >> gcc/opt-functions.awk gcc/optc-gen.awk gcc/opth-gen.awk files) to >> offer some GCC options which can be disabled or enabled by an >> appropriate configure flag. >> >> More precisely, conf

Re: disabling GCC flags at configure time

2006-11-24 Thread Basile STARYNKEVITCH
Hello All In a previous message I (Basile S.) wrote on Fri, Nov 24, 2006 at 08:54:31PM > > I am thinking of extending the *.opt machinery (ie the > gcc/opt-functions.awk gcc/optc-gen.awk gcc/opth-gen.awk files) to > offer some GCC options which can be disabled or enabled by an > appropriate c

disabling GCC flags at configure time

2006-11-24 Thread Basile STARYNKEVITCH
I am thinking of extending the *.opt machinery (ie the gcc/opt-functions.awk gcc/optc-gen.awk gcc/opth-gen.awk files) to offer some GCC options which can be disabled or enabled by an appropriate configure flag. More precisely, configure can generate HAVE_* and ENABLE_* flags (usually in the gneer