The Esterel v5 21 System Manual - Courses

Chapter 1
Getting Started
1.1 Installing and Uninstalling the Esterel v5 21
System
1.1.1 Unix Systems
The installation procedure is described in the README.txt file of the Esterel
v5 21 tar file. We recall it here:
1. Extract the tar file directory and place it where you want it to stay.
Be careful: this directory MUST remain permanently at the same
location in your machine or network, since the installation procedure
only builds symbolic links to the files it contains.
2. Edit the Makefile file and set the definitions of the following 9 variables
ESTEREL DISTRIB DIR, ESTEREL COMMAND, XES COMMAND,
XESTEREL COMMAND, BIN DIR, LIB DIR, INCLUDE DIR, MAN1 DIR, and
MAN3 DIR. They control the location where the Esterel components
will be accessible. The ESTEREL DISTRIB DIR defines the installation
directory location. The Esterel automatic installation procedure can
build links into appropriate places. For instance, assuming that Esterel
v5 21 is installed in /opt/esterelv5 21, one may want to install
the esterel command in /usr/local/bin, by creating a link:
/usr/local/bin/esterel -> /opt/esterelv5_21/bin/esterel
To do this, set the BIN DIR variable to /usr/local/bin. No link is created
if the variable is left empty. The ESTEREL COMMAND, XES COMMAND
3