15 Fév
2012
15 Fév
'12
20:42
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