... authored by Rolf Niepraschk's avatar Rolf Niepraschk
...@@ -12,6 +12,7 @@ sudo apt install default-jre curl rlwrap ant ...@@ -12,6 +12,7 @@ sudo apt install default-jre curl rlwrap ant
METIS* METIS*
CAL* CAL*
JAVA* 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: 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:
... ...
......