On 2012-02-15, at 8:13 PM, Bradley Lucier wrote:
I've suggested something with a bit more detail here:
http://www.iro.umontreal.ca/~gambit/bugzilla/show_bug.cgi?id=136
but I don't know how to do it myself.
How about this additional flag to the configure script:
--enable-opt="xxx"
Which would tell the configure script to use xxx as the C compiler options instead of -O1 -fschedule-insns2 etc
So the user could do something like:
./configure --enable-opt="-O3"
or
./configure --enable-opt="-O3 -fschedule-insns -march=native"
or
./configure --enable-opt="" CC="-O3 -fschedule-insns -march=native"
Marc