From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 31 May 2012 14:45:09 +0000 (+0000)
Subject: pass JAVA_CPPFLAGS properly
X-Git-Tag: cvc5-1.0.0~8132
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=686218785338ab115e287dcfa447d82f4e100d4e;p=cvc5.git

pass JAVA_CPPFLAGS properly
---

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index d3dd029dd..2cc6a14d6 100644
--- 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: