The Esterel v5 21 System Manual - Courses

2.6. OPTIONS OF THE ESTEREL COMMAND 25
-causal Sorted circuit code generation from cyclic programs.
The -causal option triggers full constructive causality analysis
of the program using the sccausal processor. It is compatible
with option -L, which can be used in conjunction to define the
target language, as in -causal -Ldebug.
-I Unsorted circuit code generation.
The -I option specifies that the target is unsorted circuit code.
When using this option, remember that constructive causality is
not tested at compile time and that all programs generate code.
Constructiveness errors are reported only at run-time. Use option
-Icheck to perform a full constructive causality check of the
program.
-A Automaton code generation.
The -A option specifies that the target is automaton code. The
target language is changed as before: using -Adebug will call
ocdebug instead of occ and generate a readable automaton description
if a file with suffix .debug.
-S Two-states automaton code generation.
With the -S option, a sorted circuit code is transformed into an oc
automaton code with only two states: an initialization state and
a running state. This makes it possible to use external code generators
that only read the oc format and to make them generate
object code from ssc sorted circuit code.
-v3 Automaton code generation using Esterel v3 technology.
Instead of going through the sc and ssc circuit formats to generate
oc code as for option -A, option -v3 calls the lcoc processor
from the former Esterel v3 system that directly generates oc code
from lc code. This may be faster and many cyclic programs are
accepted, although not all constructive programs are. An alternative
target language is specified by using option -A in conjunction
with option -v3, as in -Adebug -v3.
-simul Simulation code generation
The -simul option must be used in conjunction with any of -L,
-I, -A, -S, or -v3 to generate code suited for simulation using
xes or libcsimul.a. This works only for C code generation.