-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.sh
executable file
·51 lines (42 loc) · 1.14 KB
/
build.sh
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
#!/bin/bash
start=`date +%s`
st=$(pwd)
chmod +x run.sh RevTerm.sh cpachecker/scripts/cpa.sh solvers/bclt solvers/z3 solvers/mathsat
mkdir -p jars
mkdir -p tmpFiles
declare -a linpol=("linear" "polynomial")
declare -a parts=("part1" "part2")
for invType in "${linpol[@]}"; do
for part in "${parts[@]}"; do
cd $st
cd code/$invType/$part/Main/src
mkdir -p jar
echo "building $invType $part"
javac Main.java
cd jar
jar cfm $invType-$part.jar ../META-INF/MANIFEST.MF ../*.class
cp $invType-$part.jar $st/jars
rm ../*.class
done;
cd $st
cd code/prog_to_t2_$invType/src
mkdir -p jar
echo "building prog_to_t2_$invType"
javac prog_to_t2.java
cd jar
jar cfm prog_to_t2_$invType.jar ../META-INF/MANIFEST.MF ../*.class
cp prog_to_t2_$invType.jar $st/jars
rm ../*.class
done;
cd $st
cd code/C_to_prog/src
mkdir -p jar
echo "building C_to_prog"
javac C_to_prog.java
cd jar
jar cfm C_to_prog.jar ../META-INF/MANIFEST.MF ../*.class
cp C_to_prog.jar $st/jars
rm ../*.class
end=`date +%s`
runtime=$((end-start))
echo "build finished in $runtime seconds"