diff options
Diffstat (limited to 'clean')
| -rwxr-xr-x | clean/bin/install_clean | 44 |
1 files changed, 7 insertions, 37 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index dbbdbb2..6de8027 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -1,42 +1,12 @@ #!/bin/bash -# Usage: install_clean TARGET DATE -# Where TARGET is e.g. bundle-complete (see ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/) -# And DATE is an optional date to check the libraries out - -TARGET="$1" -DATE="$2" - -if [ "$TARGET" == "nightly" ]; then - rm -rf /opt/clean - mkdir /opt/clean - for pkg in base lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test - do - curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-$pkg-linux-x64-latest.tgz\ - | tar xz --strip-components=1 -C /opt/clean - done -else - echo "Broken on GCC >= 6..." - sleep 5 - - if [ "$DATE" != "" ]; then - export CLEANDATE="$DATE" - fi - - cd /tmp - git clone -b build-by-date https://gitlab.science.ru.nl/cstaps/clean-build - cd "clean-build/clean-$TARGET/linux-x64" - - ./fetch.sh - ./setup.sh - ./build.sh - - rm -rf /opt/clean - mv "target/clean-$TARGET" /opt/clean - - cd /tmp - rm -rf clean-build -fi +rm -rf /opt/clean +mkdir /opt/clean +for pkg in base lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test +do + curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-$pkg-linux-x64-latest.tgz\ + | tar xz --strip-components=1 -C /opt/clean +done grep -h '^[[:space:]]' /opt/clean/etc/*.env >> /opt/clean/etc/IDEEnvs cat ~/.clean/iTasksDev.env >> /opt/clean/etc/IDEEnvs |