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: Gepatchte tcltk8.2.a von hier runterladen (behebt Inkompatbilität mit aktueller glibc) und tcltk/lib/libtk8.2.a ersetzen. 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: 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