You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio How To's
 Compiling

 Topics:

 Generating executables
 Generating libraries
 Enabling the profiler
 Setting the assertion level
 Using libraries
 Using threads
 Tuning a program