diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 18:15:57 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 19:13:05 -0400 |
| commit | 8f468270e580420159d6a3566cc590e51bec6ce9 (patch) | |
| tree | 0bc4d00cbaaa9553517a2c742b3046c2a1e25a65 /src/bindings | |
| parent | faa803ebfae243cf4739a3f2249c3f57b0e56a19 (diff) | |
Lower the Java JRE version requirement.
Diffstat (limited to 'src/bindings')
| -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 |