| ... | ... | @@ -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:
|
|
|
|
|
| ... | ... | |
| ... | ... | |
