<div dir="ltr"><div>Hi Marc,</div><div><br></div><div><a href="https://github.com/gambit/gambit/commit/1ac08aa15c00e69da17e0d0f28249592f797ef79">https://github.com/gambit/gambit/commit/1ac08aa15c00e69da17e0d0f28249592f797ef79</a> , yey!<br></div><div><br></div><div><br></div><div>Does "--enable-debug" imply any other options, what does it do?</div><div><br></div><div><br></div><div>Which debug options would suit a program where you want to be able to understand the reasons for a crash using GDB and any other tool, but other than that want normal or high performance?</div><div><br></div><div>Thanks!</div><div><br></div></div>