diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-01-27 20:00:54 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-01-27 20:00:54 +0000 |
commit | f7eb28b85addc21ad55952c0cb00b9e5127beced (patch) | |
tree | 0832cb03056873f76eaa3b92631a8c4229c2f835 /src/bindings/compat/java/Makefile.am | |
parent | c6654673bfbf2358f2461f7ba3735d9142aa91b7 (diff) |
effecting the same change in the compat Java binding as was done to CVC3 yesterday (ValidityChecker::value() and ValidityChecker::getValue())
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 e99127422..7c22e6231 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -132,7 +132,7 @@ $(JNI_CPP_FILES): %.cpp: src/cvc3/%_impl.cpp $(builddir)/cvc3/%.h include/cvc3/J $*.cpp JniUtils.lo: src/cvc3/JniUtils.cpp .headers - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) -I . -o $@ $< + $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) $(JAVA_CPPFLAGS) -I . -o $@ $< $(LIB_FILES:%=classes/cvc3/%.class): .classes .classes: |