projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 03305bf)
pass JAVA_CPPFLAGS properly
authorMorgan Deters <mdeters@gmail.com>
Thu, 31 May 2012 14:45:09 +0000 (14:45 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 31 May 2012 14:45:09 +0000 (14:45 +0000)
src/bindings/compat/java/Makefile.am patch | blob | history

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index d3dd029dd8c6b7cf0f7d77974728f2fed1834b4d..2cc6a14d6eb59ae792a3fb0b95f009f24326672f 100644 (file)
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -131,6 +131,8 @@ $(JNI_CPP_FILES): %.cpp: src/cvc3/%_impl.cpp $(builddir)/cvc3/%.h include/cvc3/J
 
 JniUtils.lo: src/cvc3/JniUtils.cpp .headers
        $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) $(JAVA_CPPFLAGS) -I . -o $@ $<
+%.lo: %.cpp .headers
+       $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) $(JAVA_CPPFLAGS) -I . -o $@ $<
 
 $(LIB_FILES:%=classes/cvc3/%.class) classes/cvc3/JniUtils.class: .classes
 .classes: