install to CLEAN_HOME

1 files changed, 11 insertions, 11 deletions

diff --git a/clean/bin/install_clean b/clean/bin/install_clean
index c315eee..ba72b15 100755
--- a/clean/bin/install_clean
+++ b/clean/bin/install_clean
@@ -1,26 +1,26 @@
 #!/bin/bash
 
-if [ -d /opt/clean ]; then
-	rm -rf /opt/clean.bak
-	mv /opt/clean /opt/clean.bak
+if [ -d "$CLEAN_HOME" ]; then
+	rm -rf "$CLEAN_HOME.bak"
+	mv "$CLEAN_HOME" "$CLEAN_HOME.bak"
 else
-	rm -rf /opt/clean
+	rm -rf "$CLEAN_HOME"
 fi
-mkdir /opt/clean
+mkdir -p "$CLEAN_HOME"
 for pkg in base lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test
 do
 	curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-$pkg-linux-x64-latest.tgz\
-		| tar xz --strip-components=1 -C /opt/clean
+		| tar xz --strip-components=1 -C "$CLEAN_HOME"
 done
 
-grep -h '^[[:space:]]' /opt/clean/etc/*.env >> /opt/clean/etc/IDEEnvs
-cat ~/.clean/iTasksDev.env >> /opt/clean/etc/IDEEnvs
-sed -i 's=lib/exe/linker=lib/exe/linker:-no-pie=' /opt/clean/etc/IDEEnvs
+grep -h '^[[:space:]]' "$CLEAN_HOME"/etc/*.env >> "$CLEAN_HOME/etc/IDEEnvs"
+cat ~/.clean/iTasksDev.env >> "$CLEAN_HOME/etc/IDEEnvs"
+sed -i 's=lib/exe/linker=lib/exe/linker:-no-pie=' "$CLEAN_HOME/etc/IDEEnvs"
 
-ln -s lib/exe /opt/clean/exe
+ln -s lib/exe "$CLEAN_HOME/exe"
 
 # cloogletags
-cloogletags -a -c -d /opt/clean/lib -o /opt/clean/lib/tags
+cloogletags -a -c -d "$CLEAN_HOME/lib" -o "$CLEAN_HOME/lib/tags"
 
 link_local_file(){
 	echo "$1 -> $2"