The Esterel v5 21 System Manual - Courses

2.6. OPTIONS OF THE ESTEREL COMMAND 27
esterel foo.strl
Here, the generated C file is called foo.c. If there is more than
one argument, the default basename is esterel. Since this is
often inconvenient, the -B option allows to define the basename.
For example, the call
esterel foo.strl bar.strl -B foo
puts its result in file foo.c in the current directory.
-D Define the directory in which to place the generated files
The default directory in which the output file is generated is the
current working directory. The -D option modifies this directory.
For example, the call
esterel foo.strl -D /tmp
puts its result in file foo.c in /tmp.
2.6.6 Partial Compilation
It is sometimes convenient to stop compiling at some intermediate code level.
The following options determine at which level to stop:
-ic Stop the compilation after the production of the ic intermediate
code files. This option is especially useful to store intermediate
code in libraries. For example, the following command puts the
ic code of its argument files in foo.ic, bar.ic and foobar.ic:
esterel -ic foo.strl bar.strl foobar.strl
Notice that each .strl file generates a .ic file.
-lc Stop the compilation after the production of the lc linked intermediate
code file.
This option stops the compilation after the iclc processor has
been run. Unlike for the -ic command, there is only one output
file whose name is determined either by the basename of the argument
file if there is only one file argument or by the -B and -D
options (default ./esterel.lc). For example, the command
esterel -lc foo.ic
generates a single linked file foo.lc, the command