diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bindings/Makefile.am | 2 | ||||
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index 80e65d180..2214d9b88 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -180,7 +180,7 @@ CVC4.jar: java.cpp (cd java && \ rm -fr classes && \ mkdir -p classes && \ - $(JAVAC) -classpath . -d classes `find . -name '*.java'` && \ + $(JAVAC) -source 1.5 -target 1.5 -classpath . -d classes `find . -name '*.java'` && \ cd classes) && \ $(JAR) cf $@ -C java/classes . #java.cpp:; diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index 5e2911af0..9eb985822 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -138,7 +138,7 @@ JniUtils.lo: src/cvc3/JniUtils.cpp .headers $(LIB_FILES:%=classes/cvc3/%.class) classes/cvc3/JniUtils.class: .classes .classes: - $(AM_V_GEN)mkdir -p classes && $(JAVAC) -source 1.4 -sourcepath $(srcdir)/src -d classes $(LIB_FILES:%=$(srcdir)/src/cvc3/%.java) + $(AM_V_GEN)mkdir -p classes && $(JAVAC) -source 1.4 -target 1.4 -sourcepath $(srcdir)/src -d classes $(LIB_FILES:%=$(srcdir)/src/cvc3/%.java) @touch .classes .headers: $(LIB_FILES:%=cvc3/%.h) @touch .headers |