X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=clean%2F.local%2Fbin%2Finstall_clean.sh;h=e9be47eb0659e1d8c82ce9a7e063cc3d790fbdd7;hb=HEAD;hp=2abd923d74beacc36d0e0336752e396b3bb3ad9c;hpb=08a3bb31914819ac2c8123e435acd45eb87b3985;p=dotfiles.git diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh index 2abd923..e9be47e 100755 --- a/clean/.local/bin/install_clean.sh +++ b/clean/.local/bin/install_clean.sh @@ -1,16 +1,23 @@ #!/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" +if [ $# -ne 1 ] +then + echo "Usage: $0 [x86|x64]" + exit 1 +fi + +DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-$1/clean-bundle-complete-linux-$1-latest.tgz" +TAGS="https://gitlab.com/cloogle/periphery/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build" CLMMAN="https://gitlab.science.ru.nl/clean-and-itasks/clm/raw/master/clm.1" CP2CG="https://gitlab.science.ru.nl/clean-and-itasks/cleanprof2callgrind/-/jobs/artifacts/master/raw/cleanprof2callgrind?job=test" -CLEAN_HOME="${CLEAN_HOME:-/opt/clean}" +CLEAN_HOME="/opt/clean-$1" echo "Cleaning up the old distro" rm -rf "$CLEAN_HOME"/* +mkdir -p "$CLEAN_HOME" echo "Downloading clean" -curl -sSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz +curl -ksSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz echo "Installing manpages" mkdir -p ~/.local/man/man1 curl -sSLo ~/.local/man/man1/clm.1 "$CLMMAN" @@ -22,49 +29,3 @@ 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 "Adding the iTasks-git environment" -patch /opt/clean/etc/IDEEnvs <