<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">2013/9/17 Marc Feeley <span dir="ltr"><<a href="mailto:feeley@iro.umontreal.ca" target="_blank">feeley@iro.umontreal.ca</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">


<div><div><br>
On 2013-09-07, at 10:12 AM, Mikael <<a href="mailto:mikael.rcv@gmail.com" target="_blank">mikael.rcv@gmail.com</a>> wrote:<br>
<br>
> Dear Marc,<br>
><br>
> What is the best practice for configuring Gambit to maintain maximum debug settings switched on but no output of a "console" file?<br>
><br>
><br>
> (<br>
> By maximum debug settings, I mean export of debug symbols, so this could be done by CFLAGS="-g" CXXFLAGS="-g" ./configure , and optionally "-o0" or "-o1" on that -<br>
><br>
> And.. is there any more debug level functionality in Gambit, for instance does --enable-debug switch on any debug functionality beyond -g and "console" file output?<br>
><br>
> The console file is not needed as it's of such a lowlevel nature, and it easily grows infinitely as in >>100GB.<br>
><br>
> Also, switching off while maintaining --enable-debug requires such large amounts of code changes, that I'd presume --enable-debug actually was intended first and foremost as an enabler of "console" file output?<br>



> )<br>
><br>
> Thanks!<br>
> Mikael<br>
><br>
<br>
</div></div>I'll turn your question back into a question to you... what would be appropriate levels of debugging?  What do you need specifically?  I can add configure flags and runtime options to control the debugging level.<br>


</blockquote><div><br></div><div>A debug level that keeps debugging info (symbols etc.) in compiled output enabled but console file generation disabled would be very useful.<br></div><div><br></div><div>So this would be between the two levels presently available.</div>

<div><br></div><div>If there's any relevant debug levels in between of those three then you know better than me. </div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">



<span><font color="#888888"><br>
Marc<br>
<br>
</font></span></blockquote></div><br></div><div class="gmail_extra">Thanks,</div><div class="gmail_extra">Mikael</div><div class="gmail_extra"><br></div><div class="gmail_extra">(also part of this thread <a href="https://mercure.iro.umontreal.ca/pipermail/gambit-list/2013-September/006987.html">https://mercure.iro.umontreal.ca/pipermail/gambit-list/2013-September/006987.html</a> )</div>

<div class="gmail_extra"><br></div></div>