On Feb 15, 2012, at 8:42 PM, Marc Feeley wrote:
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"
I'm not sure what the name should be. Perhaps
--enable-optimization-options="xxx"
Would "-fomit-frame-pointer" be part of the optimization options?
BTW, I remember now that "-Wall -W" warns about unused labels, and gsc-generated code has a lot of those warnings, so we turned it off.
Brad