Anleitung zum Betrieb von Esterel unter 32-Bit Linux
=====================================================

64-Bit Linux nicht getestet, unter Windows müsste man Visual
Studio 6.0 verwenden (nur noch schwer verfügbar). 

Linux-Version von hier herunterladen:
<http://www-sop.inria.fr/esterel.org/filesv5_92/>

Gepatchte tcltk8.2.a von hier runterladen (behebt Inkompatbilität mit
aktueller glibc) und tcltk/lib/libtk8.2.a ersetzen.

<http://www.tbrk.org/esterel/misc.html>

Enviornment-Variable ESTEREL setzen und
PATH um $ESTEREL/bin erweiteren.

Nun kann man sowohl das "wristwatch" Beispiel bauen und ausführen, als
auch eigene Programme erstellen. Als ziemlich hilfreich haben sich
hierbei die Makefiles und Rahmenprogramme von hier herausgestellt:

<http://www.informatik.uni-kiel.de/~esterel/>

Im zugehörigen Wiki finden sich weitere nützliche Informationen.


Beispiele:
==========

ABRO
====
Simulieren:
cd examples/abro
make abro.xes
./abro.xes

C-Code generieren
make abro
./abro (verwendet manuelle Implementierung der Eingabe)

Größeres Beispiel - Wristwatch
==============================

cd wristwatch
Bei Esterel mitgeliefert, Readme beachten.
make -f Makefile.Unix