Hi Marc,
https://github.com/gambit/gambit/commit/1ac08aa15c00e69da17e0d0f28249592f797... , yey!
Does "--enable-debug" imply any other options, what does it do?
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?
Thanks!