... authored by Rolf Niepraschk's avatar Rolf Niepraschk
......@@ -12,6 +12,7 @@ sudo apt install default-jre curl rlwrap ant
METIS*
CAL*
JAVA*
```
Der spätere Build-Prozess benutzt nicht oder nicht immer die übliche Umgebungsvariable `https_proxy` für das Herunterladen externer Bibliotheken. Um trotzdem erfolgreich zu sein, muss die folgende Konfigurationsdatei angelegt werden und Angaben zum Proxy-Server enthalten:
......
......