X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=clean%2F.local%2Fbin%2Finstall_clean.sh;h=59d5e9f4cf719dfcc690f59e6b487f8aba83c732;hb=37a88a14fd119cb8ef43b2f421c268aef436e5f4;hp=745a9e110d1ad4c9539cedfca688864b00ccf207;hpb=32a0f89bc0eea5252e432f626d16b7ecdddcc97f;p=dotfiles.git diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh index 745a9e1..59d5e9f 100755 --- a/clean/.local/bin/install_clean.sh +++ b/clean/.local/bin/install_clean.sh @@ -1,9 +1,29 @@ -#!/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" +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}" + +echo "Cleaning up the old distro" +rm -rf "$CLEAN_HOME"/* +echo "Downloading clean" +curl -sSL "$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" +echo "Downloading cleanprof2callgrind" +curl -sSLo "$CLEAN_HOME/bin/cleanprof2callgrind" "$CP2CG" +chmod +x "$CLEAN_HOME"/bin/cleanprof2callgrind +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 <