<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">I've suggested something with a bit more detail here:<div><br></div><div><a href="http://www.iro.umontreal.ca/~gambit/bugzilla/show_bug.cgi?id=136">http://www.iro.umontreal.ca/~gambit/bugzilla/show_bug.cgi?id=136</a></div><div><br></div><div>but I don't know how to do it myself.</div><div><br></div><div>Brad</div><div><br><div><div>On Feb 15, 2012, at 6:30 PM, Álvaro Castro-Castilla wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">What about a configure option for overriding the optimization level, keeping O2 as default (maybe there is one already? but I just commented out some lines in the <a href="http://configure.ac/">configure.ac</a>)<div>gcc-4.5.3 is the current stable in Gentoo, I'll check tomorrow in Ubuntu.</div>

<div><br><div><br></div><div><br><br><div class="gmail_quote">2012/2/16 Marc Feeley <span dir="ltr"><<a href="mailto:feeley@iro.umontreal.ca">feeley@iro.umontreal.ca</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im"><br>
On 2012-02-15, at 6:06 PM, Álvaro Castro-Castilla wrote:<br>
<br>
> Maybe just activating O2 if gcc >= 4.7 (if the patch Alex was telling about works);<br>
<br>
</div>That's too brittle.  I know that -O2 was *not* OK with the gcc that was current a few years ago, and -O2 is OK with gcc 4.2.1, yet -O2 is *not* OK with gcc 4.5.3, yet it is OK with gcc 4.7.  There's really no evidence that gcc's algorithms will not get worse after gcc 4.7 (and in fact the past history of the evolution of gcc points to chaotic changes in the algorithmic complexity).<br>


<div class="im"><br>
> then O3 if more than 8gb ram available and gcc >= 4.7.<br>
<br>
</div>I don't know how to test for this portably.<br>
<span class="HOEnZb"><font color="#888888"><br>
Marc<br>
<br>
</font></span></blockquote></div><br></div></div>
_______________________________________________<br>Gambit-list mailing list<br><a href="mailto:Gambit-list@iro.umontreal.ca">Gambit-list@iro.umontreal.ca</a><br>https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list<br></blockquote></div><br></div></body></html>