build.sh 660 Bytes
Newer Older
Camil Staps's avatar
Camil Staps committed
1
#!/bin/bash
2
set -ev
Camil Staps's avatar
Camil Staps committed
3

4
./install_clean.sh
5
sed -i 's/cocl/cocl::-wmf/' /opt/clean/etc/IDEEnvs
Camil Staps's avatar
Camil Staps committed
6

7
PACKAGES="patch jq unzip z3"
Camil Staps's avatar
Camil Staps committed
8 9 10
apt-get update -qq
apt-get install -qq $PACKAGES --no-install-recommends

Camil Staps's avatar
Camil Staps committed
11
make clean CloogleServer builddb
Camil Staps's avatar
Camil Staps committed
12

Camil Staps's avatar
Camil Staps committed
13
if [ ! -f libs.json ]; then ln -s ../libs.json; fi
Camil Staps's avatar
Camil Staps committed
14
../util/fetch_libs.sh /opt/clean/lib
Camil Staps's avatar
Camil Staps committed
15
./builddb > types.json
16
./CloogleServer --rank-settings-constraints rank_settings_constraints.json > rank_settings.json
Camil Staps's avatar
Camil Staps committed
17 18

rm -rf \
19
	Builtin \
Camil Staps's avatar
Camil Staps committed
20
	Cloogle \
21
	Util \
Camil Staps's avatar
Camil Staps committed
22 23 24 25 26 27 28 29 30 31 32
	Clean\ System\ Files \
	*.dcl *.icl \
	Dockerfile \
	Makefile \
	/opt/clean

apt-get remove --purge -qq $PACKAGES
apt-get autoremove -qq
rm -rf /var/lib/apt/lists

uninstall_clean.sh