diff options
Diffstat (limited to 'clean/bin')
| -rwxr-xr-x | clean/bin/install_clean | 22 |
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" |