Um die Version März 2021 von TXSTEP unter macOS benutzen zu können, gehen Sie wie folgt vor: 1. Installieren von TUSTEP - Laden Sie die aktuelle TUSTEP-Version über die TUSTEP homepage www.tustep.uni-tuebingen.de herunter. - Installieren Sie TUSTEP und beachten Sie dabei die Intallationsanleitungen, die Sie unter www.tustep.uni-tuebingen.de/inst.html finden. - Rufen Sie TUSTEP auf und definieren Sie eine Sitzung namens TXSTEP, wie in der Installationsanleitung beschrieben. In der sich öffnenden Eingabe-Maske machen Sie folgende Angaben: - - unter TUSTEP_DSK tragen Sie den Pfad ein, unter dem TXSTEP installiert werden soll. - - unter TUSTEP_PRJ tragen sie "txstep" (ohne Anführungszeichen) als Projektname ein. - - unter TUSTEP_MEM wird eine bis zu dreistellige Nummer erwartet, die die zu definierende Sitzung eindeutig kennzeichnet. - - Klicken Sie auf "Einrichten", um die Sitzung einzurichten und das zugehörige Start-Skript zu erzeugen. Ein weiterer Klick auf "Desktop-Icon" erzeugt ein Icon für diese Sitzung auf dem Desktop, über das diese Sitzung auch direkt vom Desktop aus gestartet werden kann. 2. Installieren und Ausführen von TXSTEP - Laden Sie TXSTEP Version März 2021 über die TUSTEP homepage www.tustep.uni-tuebingen.de herunter. - entpacken Sie die Datei txstep_2103.zip in das Verzeichnis, das für die oben beschriebene Sitzung zu TUSTEP_DSK angegeben wurde.. - Starten Sie die oben beschriebene TUSTEP-Sitzung führen Sie dort folgende Befehle aus: #anmelde, txstep_inst #makro, txstep_inst Damit werden im Verzeichnis txstep die Dateien txstep, log, par_syntax und encoding eingerichtet, die als externe Werkzeuge im oXygen Editor benötigt werden. Außerdem werden in dem Übungsskripts die Pfade der dort verwendeten Dateien den aktuellen Gegebenheiten angepasst. - Starten Sie den oXygen Editor; über die Symbolleiste "Projekt" "Projekt öffnen" "Dateiname" suchen Sie den Pfad zur Datei txstep/Oxygen_framework/txstep.xpr und aktivieren das Projekt txstep.xpr mit "Öffnen". Die Lösungen zu den Übungsaufgaben finden Sie im Unterverzeichnis txstep/scripts. Wenn Sie ein Skript im oXygen XML Editor geöfnet haben, können Sie dieses mit einem Klick auf "txstep" im External Tools drop-down Menu in der Toolbar ausführen; ein ein Klick auf "txstep.logfile" zeigt das zugehörige TUSTEP-Ablaufprotokoll. ---------- Falls Oxygen nicht verfügbar ist, kann das Skript, das eine TXSTEP-Instanz ausführt, auch wie folgt gestartet werden (nachdem die Datei txstep wie oben beschrieben eingerichtet wurde); dabei ist für "...." jeweils der Pfad einzusetzen, der für TUSTEP_DSK eingestellt ist, und xxx.xml durch den Namen der (mitgelieferten oder selbst erstellten) TXSTEP-Instanz zu ersetzen, die ausgeführt werden soll: - im iTerm-Fenster in das Verzeichnis ..../txstep wechseln, wobei "...." für den Pfad steht, der bei TUSTEP_DSK angegeben wurde. Dort eingeben: txstep/txstep script (wobei für "script" der komplette Pfad des auszuführenden Scripts anzugeben ist) und ENTER drücken oder - in einer TUSTEP-Sitzung folgende Kommandofolge ausführen: #makro $$ execute "..../txstep/txstep script" *eof wobei "script" ersetzt werden muss durch den Namen (kompletter Pfad) der mitgelieferten oder selbst erstellten TXSTEP-Instanz, die ausgeführt werden soll.