build.sh 1006 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
PATCHCLEANBUILD="sed -i 's:clean-compiler-and-rts compiler itask:cstaps compiler master:' clean-base/linux-x64/git-sources.txt; sed -i 's:compiler-itask:compiler-master:' clean-base/linux-x64/build.sh; sed -i 's:master:cloogle:' clean-lib-platform/linux-x64/git-sources.txt; sed -i 's:platform-master:platform-cloogle:' clean-lib-platform/linux-x64/build.sh" install_clean.sh 'base lib-platform lib-tcpip' 2018-12-15
Camil Staps's avatar
Camil Staps committed
5

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

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

Camil Staps's avatar
Camil Staps committed
12
if [ ! -f libs.json ]; then ln -s ../libs.json; fi
Camil Staps's avatar
Camil Staps committed
13
../util/fetch_libs.sh /opt/clean/lib
Camil Staps's avatar
Camil Staps committed
14
./builddb > types.json
15
./CloogleServer --rank-settings-constraints rank_settings_constraints.json > rank_settings.json
Camil Staps's avatar
Camil Staps committed
16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

rm -rf \
	Cloogle \
	Clean\ System\ Files \
	clean-compiler \
	*.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