Updates

[dotfiles.git] / clean / .local / bin / install_clean.sh

diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh
index 745a9e1..e5ee3f1 100755 (executable)
--- a/clean/.local/bin/install_clean.sh
+++ b/clean/.local/bin/install_clean.sh
@@ -1,9 +1,21 @@
-#!/bin/sh
-cd /tmp
-curl 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
+#!/bin/bash
+set -e
 
+DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz"
+TAGS="https://gitlab.science.ru.nl/cloogle/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
+CLEAN_HOME="${CLEAN_HOME:-/opt/clean}"
+
+echo "Cleaning up the old distro"
+rm -rf "$CLEAN_HOME"/*
+echo "Downloading clean"
+curl -sS "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
+echo "Downloading cloogletags"
+curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS"
+chmod +x "$CLEAN_HOME"/bin/cloogletags
+echo "Generating tags"
+cloogletags -a -c -d "$CLEAN_HOME"/lib -o "$CLEAN_HOME"/lib/tags 2>/dev/null
+
+echo "Patching StdEnv for binumap"
 patch /opt/clean/lib/StdEnv/StdGeneric.dcl <<EOPATCH
 --- StdGeneric.dcl     2018-12-17 02:43:55.000000000 +0100
 +++ StdGeneric.dcl     2018-12-17 11:06:09.196234236 +0100
@@ -55,6 +67,7 @@ patch /opt/clean/lib/StdEnv/StdGeneric.icl <<EOPATCH
        | is_id f
 EOPATCH
 
+echo "Adding the iTasks-git environment"
 patch /opt/clean/etc/IDEEnvs <<EOPATCH
 --- IDEEnvs    2018-12-17 11:58:48.876039159 +0100
 +++ IDEEnvs    2018-12-17 12:00:52.384066455 +0100