From b9118b75a8ee24a94a693cd3f850c63eb5085ef1 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 16 Nov 2011 01:06:57 +0000 Subject: [PATCH] fix to build system for java bindings --- src/bindings/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) \ -- 2.30.2