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/compat/java/Makefile.am | |
| parent | faa803ebfae243cf4739a3f2249c3f57b0e56a19 (diff) | |
Lower the Java JRE version requirement.
Diffstat (limited to 'src/bindings/compat/java/Makefile.am')
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 |