aboutsummaryrefslogtreecommitdiff
path: root/clean
diff options
context:
space:
mode:
authorCamil Staps2018-10-22 14:49:48 +0200
committerCamil Staps2018-10-22 14:50:56 +0200
commitaf50fac68e9a4d20d5c83fb1f45b31ef046236a2 (patch)
treea92d14282dac8c6b4ef09e4744de7c05d0498aa6 /clean
parentAdd custom Clean binary links to install_clean (diff)
Remove outdated non-nightly build in install_clean
Diffstat (limited to 'clean')
-rwxr-xr-xclean/bin/install_clean44
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