Re: GNU G-Golf 0.8.0-rc-3 available for testing

Hello Basile, thank you for the tips, but I have since managed to get a
good backtrace.  -O is what I used by compiling GTK with configure flag
-Dc_args=-O0.  -g did not work with g-golf (this is Guix’
with-debug-info transformation), but stripped binaries with debug info
in a separate output and setting GDB_DEBUG_FILE_DIRECTORY as documented
in the Guix manual did work.  For this I had to patch Guix and change
its gtk package to list "debug" in its outputs field.

RefPerSys’ approach to use AGI seems like overkill to me here and its
memory and disk space requirements are prohibitively enormous, but as I
understand it, it was not your suggestion to use it but just and
example.

Regards,
Florian