Lower the Java JRE version requirement.

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 80e65d18041d37a106107726df1fc5d4ab2b30c5..2214d9b88e93c30ceb34e008215b6a2945126bb6 100644 (file)
--- 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 5e2911af05343b4157ca124dbca6c1da9e4e5a5d..9eb985822b701f49430e2c611270a60de16cacef 100644 (file)
--- 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