The Esterel v5 21 System Manual - Courses

1.2. HANDLING A SIMPLE EXAMPLE 5
– the Esterel GUI (graphical user interface) xesterel,
– the Esterel installation directory,
– the manual,
– the manual pages in HTML format,
– the Esterel Primer,
– and the uninstallation program.
2. it adds the ESTEREL variable to the user environment and modifies the
path.
Note: the compiling of the C code generated by Esterel must be compatible
with Visual Studio to run simulations. The xes simulator uses CL.EXE and
LINK.EXE from the Microsoft DevStudio development environment. These
tools use the INCLUDE and LIB environment variables, which have to be set
correctly to make the tools work outside of DevStudio. Please consider the
file Vc\bin\Vcvars32.bat in the Visual C++ distribution.
1.2 Handling a Simple Example
To try Esterel compiling, enter the following program in file foo.strl using
your favorite editor:
module Foo :
input I, J;
output O;
await I;
await J;
emit O
end module
To compile the Foo program into an executable C code, just type
esterel foo.strl
This command generates an executable C file foo.c ready to be embedded
in a complete application using the interface conventions described in
Chapter 3. However, this is not the simplest thing to do. Beforehand, it is
recommended to simulate the program and check its correct behavior using
the xes simulator and symbolic debugger. For this, recompile the program
with the -simul option:
esterel -simul foo.strl