diff options
Diffstat (limited to 'clean/bin/install_clean')
| -rwxr-xr-x | clean/bin/install_clean | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean new file mode 100755 index 0000000..2ab3dc0 --- /dev/null +++ b/clean/bin/install_clean @@ -0,0 +1,43 @@ +#!/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 + cd /tmp + wget -qO- ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz\ + | tar -xz + rm -rf /opt/clean + mv clean-bundle-complete /opt/clean + mv /opt/clean/lib/exe /opt/clean/exe + ln -s /opt/clean/exe /opt/clean/lib/exe + sed -i 's=lib/exe/linker=lib/exe/linker:-no-pie=' /opt/clean/etc/IDEEnvs + cloogletags -a -c -d /opt/clean/lib -o /opt/clean/lib/tags + exit 0 +else + echo "Broken on GCC >= 6..." + sleep 5 +fi + +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 +mv /opt/clean/lib/exe /opt/clean/exe + +cd /tmp +rm -rf clean-build |