Initialisierung

Zu Beginn jeder Sitzung muss die Umgebung initialisiert werden mit dem Befehl source /home/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 Robotik, 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