#!/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