Re: [Liberty-eiffel] producing debug version od compile_to_c

[Cyril ADRIAN]

Hi Laurie, Raphael,

2014-10-26 19:17 GMT+01:00 Raphael Mack <address@hidden>:

For segfaults it is probably best to debug compile_to_c with gdb (add "-g" to the command line")...

don't forget to also add -no_strip :)

See also the se_make.sh script, which may be launched by the "se" hub tool via se make.

What I usually type is:

se make -verbose -boost -no_gc -g -no_strip compile_to_c

Then I use gdb. The other solution is compile with -no_check and -sedb to use the eiffel debugger.

Cheers,

Cyril