The Esterel v5 21 System Manual - Courses

2.2. USAGE OF THE ESTEREL COMMAND 15
All the Esterel modules that are not themselves included in other modules
are compiled. When including Esterel module libraries, one may need
to specify what is the main program to compile. This is done using the
-main option followed by the main module name:
esterel -main WRISTWATCH watch.strl alarm.strl
stopwatch.strl -B wristwatch
2.2.3 Performing Sanity Checks
Some options perform extensive sanity checks of the Esterel source code:
constructiveness, single emission of single signals, etc. Before embedding
any generated code, it is useful to perform the checks as follows:
esterel -W -Icheck foo.strl
The -W option prints various warnings that are not printed by default. Read
them carefully. The -Icheck option performs checks for causality and other
checks on signals. It is detailed in Section 2.5.
2.2.4 Keeping Intermediate Files
To keep the intermediate files for further use, type
esterel -simul -K main.strl aux.strl -B foo
The ic files will be main.ic and aux.ic. The other intermediate code files
will be foo.lc for the linked ic code, foo.sc for the sc code, and foo.ssc
for the ssc code.
To perform the compilation in several steps, for example with an intermediate
stop at the sc code level, type
esterel -sc main.strl aux.strl -B foo
esterel foo.sc
The available options are -ic, -lc, -sc, -ssc, and -oc.
This illustrate the facts that one never needs to directly call the compiler’s
internal processors and that any intermediate code can be passed to
the esterel command.