-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcompile.sh
executable file
·20 lines (16 loc) · 1.03 KB
/
compile.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/bin/bash
# work in source_code
cd source_code
# build all C++ files into object files
g++ -I$HOME/usr/include *.cc -L$HOME/usr/lib -lspot -lbddx -c
# compile 2detTELA
g++ -I$HOME/usr/include 2detTELA.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o 2detTELA
# compile for benchmark generations
g++ -I$HOME/usr/include benchmarkA.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkA
g++ -I$HOME/usr/include benchmarkB.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkB
g++ -I$HOME/usr/include benchmarkC.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkC
g++ -I$HOME/usr/include benchmarkD.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkD
g++ -I$HOME/usr/include benchmarkF.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkF
g++ -I$HOME/usr/include benchmarkG.cc my_determinization.o remfin.o -L$HOME/usr/lib -lspot -lbddx -O2 -o benchmarkG
# return to parent dictionary
cd ..