View source for Debug generated C code

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

[[Category:Runtime]]
Sometimes you need debug Eiffel generated C codes, this is how to.

== Unix ==
Edit $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/include/config.sh and
#To the value of '''wkoptimize''' add the '''-g''' option.
#Replace the value of '''optimize''' to disable the C optimization (usually '''-O0''') and add '''-g'''.

Once you have done that, do in your W_code or F_code directory:
#make clobber
#finish_freezing

== Windows ==

You should first have Visual Studio installed.

===There are two things you need to do before debugging generated C codes===

====Tell C compiler to add debug information====

Change Eiffel C compilation config file "config.eif" (located at $ISE_EIFFEL\studio\config\win64\msc)

From
    optimize: "-Ox -MT"
To
    optimize: "-Od -Zi -MT 

Then you can start C compile in Eiffel projects with debugging information.

====Tell linker to add debug information====

After successfully C compilation and link, open command console, change directory to W_code (or F_code, using bottom right two buttons of C Output tool is easiest way)

In command console, run

    link @your_project_name.lnk -DEBUG

Please change "your_project_name" to your real project name. This will link your execution binary with debugging information. Make sure you are using Microsoft’s link.exe but not Cygwin's link.exe

===Start debug C codes in Visual Studio===

Now you can attach the Eiffel process in Visual Studio and debug. Don't forget to catch all exceptions in Visual Studio.

If you want to debug Eiffel generated DLL's C codes, when coping the DLL, you must copy the ".pdb" with the DLL together since ".pdb" file contains debugging information for Visual Studio.

Return to Debug generated C code.

Retrieved from "https://dev.eiffel.com/Debug_generated_C_code"

View source for Debug generated C code

Navigation

Development

Wiki

Search

Tools