diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 01:06:57 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 01:06:57 +0000 |
commit | b9118b75a8ee24a94a693cd3f850c63eb5085ef1 (patch) | |
tree | ad2603f460c7bd191966eeae26b1786f7b1ffd2d /src/bindings | |
parent | d514291efafeef479b819af3f905f339c85086fb (diff) |
fix to build system for java bindings
Diffstat (limited to 'src/bindings')
-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) \ |