Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Kontakt

Maik Schöpe

Telefon: +49 345 55 24736
Telefax: +49 345 55 27 333

Raum 220
Von-Seckendorff-Platz 1
06120 Halle

Bei Problemen, Fragen und Anregungen zum Übersetzer melden Sie sich bitte.

Weiteres

Login für Redakteure

Installation

Der Compiler liegt als Quelltext vor. Zum übersetzen sollte vornehmlich ein Unix-System verwendet werden, aber die Installation unter Windows ist mit Cygwin oder MinGW möglich. Zu empfehlen ist die Linux-Distribution Ubuntu. Zur Installation unter Mac OS X wurde von Dr. Karl-Michael Schindler freundlicherweise eine Paktebeschreibung für den fink Paketmanager erstellt. Diese ist im Downloadbereich erhältlich.

Voraussetzungen zur Installation und Verwendung

  1. libgmp: Die GNU MP Multi Precision Arithmetic Library muss als Entwicklerversion installiert sein. D.h. die Header gmp.h und Bibliotheksdateien müssen beim Übersetzen von satk auffindbar sein. Unter Ubuntu reicht es, das Paket libgmp3-dev zu installieren.
  2. .NET-Umgebung Linux: Bei Unix-Systemen muss mono und der mono-Intermediate Language Assembler (ilasm) installiert sein. Bei Ubuntu entspricht das den Paketen mono und mono-devel.
  3. .NET-Umgebung Windows: Unter Windows muss mindestens das .NET-Framework 3.5 installiert sein. Zusätzlich muss der Intermediate Language Assembler (ilasm)verfügbar gemacht werden. Dieser ist Teil diverser Visual Studio Distributionen.

Entpacken und Übersetzen

Zunächst wird die heruntergeladene Datei satk_x.x.x-xxx.zip mit einem zip-fähigen Tool entpackt. Unter Linux im allgemeinen durch:

unzip satk_x.x.x-xxx.zip

Im entpackten Verzeichnis (im folgenden %SATK_INSTALLPATH% genannt) müssen dann folgende Befehle zum übersetzen ausgeführt werden:

cd  %SATK_INSTALLPATH%/src
make

Ist die Übersetzung erfolgreich sollte im Verzeichnis  %SATK_INSTALLPATH%/bin die ausführbare Datei satk entstanden sein.

Umgebungsvariablen setzen

Zum erfolgreichen Betrieb des Übersetzers sollten folgende Umgebungsvariablen gesetz werden:

  • der PATH-Variable muss der Pfad %SATK_INSTALLPATH%/bin hinzugefügt werden
  • die Variable SAKLIBPATH muss auf %SATK_INSTALLPATH%/lib gesetzt werden
  • die Variable SAKCILCOMP muss auf die ausführbare Datei ilasm gesetzt werden

Zum Seitenanfang