From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 16 Nov 2011 01:06:57 +0000 (+0000)
Subject: fix to build system for java bindings
X-Git-Tag: cvc5-1.0.0~8380
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9118b75a8ee24a94a693cd3f850c63eb5085ef1;p=cvc5.git

fix to build system for java bindings
---

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 35b3a6e07..2a2754c37 100644
--- 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) \