repositories
/
dotfiles.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of github.com:dopefishh/dotfiles
[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
7b4617e
..
59d5e9f
100755
(executable)
--- a/
clean/.local/bin/install_clean.sh
+++ b/
clean/.local/bin/install_clean.sh
@@
-3,19
+3,20
@@
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"
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
"
-C
LM1="https://gitlab.science.ru.nl/mlubbers/clm/builds/artifacts/master/raw/clm.1?job=compile
"
+CLM
MAN="https://gitlab.science.ru.nl/clean-and-itasks/clm/raw/master/clm.1
"
+C
P2CG="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
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 "Replacing clm"
-curl -sSLo "$CLEAN_HOME/bin/clm" "$CLM"
echo "Installing manpages"
mkdir -p ~/.local/man/man1
echo "Installing manpages"
mkdir -p ~/.local/man/man1
-curl -sSLo ~/.local/man/man1/clm.1 "$CLM1"
+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 "Downloading cloogletags"
curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS"
chmod +x "$CLEAN_HOME"/bin/cloogletags