diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-05-31 14:45:09 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-05-31 14:45:09 +0000 |
| commit | 686218785338ab115e287dcfa447d82f4e100d4e (patch) | |
| tree | 1f64dafd54650610c503fac7ba9302e7af7c146b | |
| parent | 03305bfae27642ed714eab144cf977d1943bb88d (diff) | |
pass JAVA_CPPFLAGS properly
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
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: |