blob: 27c90085de6954a6aee8c665a5580df140cf7ced (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
#!/bin/bash
# Usage: install_clean TARGET DATE
# Where TARGET is e.g. bundle-complete (see ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/)
# And DATE is an optional date to check the libraries out
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
else
echo "Broken on GCC >= 6..."
sleep 5
if [ "$DATE" != "" ]; then
export CLEANDATE="$DATE"
fi
cd /tmp
git clone -b build-by-date https://gitlab.science.ru.nl/cstaps/clean-build
cd "clean-build/clean-$TARGET/linux-x64"
./fetch.sh
./setup.sh
./build.sh
rm -rf /opt/clean
mv "target/clean-$TARGET" /opt/clean
cd /tmp
rm -rf clean-build
fi
cat ~/.clean/iTasksDev.env >> /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
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
|
