Ada-Umgebung PMfE


Initialisierung

Zu Beginn jeder Sitzung muß die Umgebung initialisiert werden mit dem Befehl source /home/pdv/pdv/lehre/pmfe/init (in jedem X-Terminal, alternativ kann dieser Befehl auch in ~/.bashrc geschrieben werden). Achtung: das ist nur für die bash vorgesehen. Vorsicht auch mit alten Einstellungen von EES oder anderen Lehrveranstaltungen, bitte diese zunächst deaktivieren.

Verzeichnisse müssen zur Arbeit mit Ada zu einer Ada-Library modifiziert werden mit dem Befehl makelib. Dadurch werden verschiedene Dateien erzeugt, die nicht von Hand zu verändern sind. Achtung: Dieser Befehl kann nur auf dem Rechner bolero ausgeführt werden!

Programmentwicklung


Letzte Aktualisierung: 24.3.2006, Michael