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"
+CLM="https://gitlab.science.ru.nl/mlubbers/clm/builds/artifacts/master/raw/clm?job=compile"
+CLM1="https://gitlab.science.ru.nl/mlubbers/clm/builds/artifacts/master/raw/clm.1?job=compile"
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
+curl -sSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
+echo "Replacing clm"
+curl -sSLo "$CLEAN_HOME/bin/clm" "$CLM"
+echo "Installing manpages"
+mkdir -p ~/.local/man/man1
+curl -sSLo ~/.local/man/man1/clm.1 "$CLM1"
echo "Downloading cloogletags"
curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS"
chmod +x "$CLEAN_HOME"/bin/cloogletags