command_line_help_summary:
STRING
is "Usage: compile_to_c [options] <RootClass> <RootProcedure> ...
or: compile_to_c [options] <ACEfileName>.ace
Compile the Eiffel source to ANSI C.
For information about and examples of ACE files, have a look in the
tutorial/ace directory.
Most of the following options are not available when using an ACE file.
Option summary:
Information:
-help Display this help information
-version Display Liberty Eiffel version information
-verbose Display detailed information about what the compiler is
doing
Warning levels:
-style_warning Print warnings about style violations
-no_warning Don't print any warnings
-relax Perform less checks by considering less dead code, hence
using less memory and less compilation time. Useful to
prototype or to deliver safe code. (Useful too for very
small computers.)
Message styles:
-flymake_mode Display messages in a compact format suitable for
processing by tools such as Emacs' Flymake mode
Optimization and debugging levels (specify one only; default is -all_check):
-boost Enable all optimizations, but disable all run-time
checks
-no_check Enable Void target and system-level checking
-require_check Enable precondition checking (implies -no_check)
-ensure_check Enable postcondition checking (implies -require_check)
-invariant_check Enable class invariant checking (implies -ensure_check)
-loop_check Enable loop variant and invariant checking
(implies -invariant_check)
-all_check Enable 'check' blocks (implies -loop_check)
-debug Enable 'debug' blocks
-flat_check Each assertion will be executed in no_check mode. Use
with any mode from require_check to all_check.
Class lookup:
-loadpath <file> Specify an extra loadpath file to read
C compilation and run-time system:
-cc <command> Specify the C compiler to use
-c_mode <C mode> Specify a C mode to use. This option is incompatible
with -cc
-cecil <file> Take CECIL information from <file>
(may be used more than once)
-o <file> Put the executable program into <file>
-no_main Don't include a main() in the generated executable
-no_gc Disable garbage collection
-bdw_gc Use Boehm-Demers-Weiser conservative GC
-gc_info Enable status messages from the garbage collector
-no_strip Don't run 'strip' on the generated executable
-no_split Generate only one C file
-split <split mode> Select the split mode
(either 'no', 'legacy', or 'by_type')
-sedb Enable sedb, the Liberty Eiffel debugger
-profile Generates profile on Eiffel calls at program exit
-manifest_string_trace
Enable the trace support to track non-once manifest
string creation
-no_rescue Don't compile rescue sections
Miscellaneous:
-high_memory_compiler
Allow the compile_to_c to use more memory; if you have
enough physical memory, compilation should be faster
(note: generated C code is not affected)
"
constant attribute