forked from runtimeverification/llvm-backend
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ciscript
executable file
·42 lines (33 loc) · 1.01 KB
/
ciscript
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
#!/bin/bash -ex
export PATH=$HOME/.cargo/bin:$HOME/.local/bin:$PATH
if [[ "$OSTYPE" == "darwin"* ]]; then
export PATH="/usr/local/opt/flex/bin:/usr/local/opt/llvm@6/bin:$PATH"
export LDFLAGS="-L/usr/local/opt/llvm@6/lib -L/usr/local/opt/flex/lib"
export CPPFLAGS="-I/usr/local/opt/llvm@6/include -I/usr/local/opt/flex/include"
export FLEX_EXECUTABLE="/usr/local/opt/flex/bin/flex"
fi
rm -rf build
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=$1 -DCMAKE_INSTALL_PREFIX=install -DGC_THRESHOLD=1
make -j`nproc`
if [[ "$1" == "GcStats"* ]]; then
make install
exit 0
fi
make run-unittests
cd ../matching
mvn verify -U
cd ../build
export PATH="`pwd`/install/bin:`pwd`/bin:$PATH"
make install
cp ../test/Makefile ./TestMakefile
make -f TestMakefile -j`nproc`
diff io_output1.txt ../test/ioTest1.output
diff `ls | grep io_log` ../test/ioTest3.output
rm `ls | grep io_log`
ls test-foo*
rm `ls | grep test-foo`
make -f TestMakefile clean
rm -f configparser configparser.ll
make -C ../test/unparse -j`nproc`