From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 21 Jun 2014 22:15:57 +0000 (-0400)
Subject: Lower the Java JRE version requirement.
X-Git-Tag: cvc5-1.0.0~6750
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f468270e580420159d6a3566cc590e51bec6ce9;p=cvc5.git

Lower the Java JRE version requirement.
---

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