projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d514291)
fix to build system for java bindings
authorMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 01:06:57 +0000 (01:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 01:06:57 +0000 (01:06 +0000)
src/bindings/Makefile.am patch | blob | history

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 35b3a6e07d06d7dacd1755ccf92e7f6128358458..2a2754c3769908c3e2d6bcbc97e4b91603ea709d 100644 (file)
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -120,7 +120,7 @@ MOSTLYCLEANFILES = \
        $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) \
        cvc4.jar
 
-java.lo: java.cpp
+libcvc4bindings_java_la-java.lo java.lo: java.cpp
        $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_CPPFLAGS) -o $@ $<
 cvc4.jar: java.cpp
        $(AM_V_GEN) \