is "Usage: compile [options] <RootClass> <RootProcedure> ...
or: compile [options] <ACEfileName>.ace
Compile the Eiffel source and create an executable program.
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
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
-clean Run the 'clean' command at the end
-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)
-jobs <num> Run up to <num> instances of the C compiler in parallel
(defaults to the number of jobs in General section of
the configuration file)
"

When some argument has the
appropriate suffix (ie. ".ace" or ".ACE"), the ace parser is automatically launched in order to
parse this configuration file. The caller is then notified that we are now in ACE mode (the result
is True). When we are in ACE mode, remaining allowed arguments are automatically handled.

Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%

When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T'
gives "%T", etc.
When % letter notation does not exists (not in the ETL table), numbered coding
used ("%/1/", "%/2/" etc).

is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."