diff options
Diffstat (limited to 'clean')
| -rwxr-xr-x | clean/bin/install_clean | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index 84d7d5b..15543ee 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -8,11 +8,13 @@ TARGET="$1" DATE="$2" if [ "$TARGET" == "nightly" ]; then - 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 + mkdir /opt/clean + for pkg in base 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 + done else echo "Broken on GCC >= 6..." sleep 5 @@ -36,17 +38,17 @@ else rm -rf clean-build fi +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 mv /opt/clean/lib/exe /opt/clean/exe ln -s /opt/clean/exe /opt/clean/lib/exe -rm -r /opt/clean/lib/Generics -rm -r /opt/clean/lib/StdLib - -sed -i 's=lib/exe/linker=lib/exe/linker:-no-pie=' /opt/clean/etc/IDEEnvs - cloogletags -a -c -d /opt/clean/lib -o /opt/clean/lib/tags rm /opt/clean/bin/cleantest; ln -s /home/camil/VersionControl/clean-test/cleantest /opt/clean/bin/cleantest ln -s /home/camil/VersionControl/clean-test-properties/testproperties /opt/clean/bin/testproperties +mkdir /opt/clean/data +ln -s /home/camil/VersionControl/clean-doc/data/cleandoc-default /opt/clean/data/cleandoc-default +ln -s /home/camil/VersionControl/clean-doc/src/cleandoc /opt/clean/bin/cleandoc |