Merge pull request #55 from peterschrammel/use-java8

peterschrammel · web-flow · commit 7abb07f38e35 · 2020-01-19T16:15:08.000Z
Use Java 8 to compile
diff --git a/jbmc.inc b/jbmc.inc
@@ -9,7 +9,7 @@ FIND_OPTIONS="-name '*.java'"
 run()
 {
   mkdir -p $BM_DIR/classes
-  javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"
+  /usr/lib/jvm/java-8-openjdk-amd64/bin/javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"
   rm $BM_DIR/classes/org/sosy_lab/sv_benchmarks/Verifier.class
   jar -cfe $BM_DIR/task.jar Main -C $BM_DIR/classes .
   export TASK="$BM_DIR/task.jar"

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ FIND_OPTIONS="-name '*.java'"`
`9`	`9`	`run()`
`10`	`10`	`{`
`11`	`11`	`mkdir -p $BM_DIR/classes`
`12`		`- javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"`
	`12`	`+ /usr/lib/jvm/java-8-openjdk-amd64/bin/javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"`
`13`	`13`	`rm $BM_DIR/classes/org/sosy_lab/sv_benchmarks/Verifier.class`
`14`	`14`	`jar -cfe $BM_DIR/task.jar Main -C $BM_DIR/classes .`
`15`	`15`	`export TASK="$BM_DIR/task.jar"`