diff options
-rw-r--r-- | src/bindings/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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) \ |