projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 959f5e7)
fix java system test dependences
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 12:18:57 +0000 (12:18 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 12:18:57 +0000 (12:18 +0000)
test/system/Makefile.am patch | blob | history

diff --git a/test/system/Makefile.am b/test/system/Makefile.am
index 47916986a21299fdf1147b0b9b9ce4b2e8db4011..0cd633dc67a54691866d5e089fbfcb2252b4cfab 100644 (file)
--- a/test/system/Makefile.am
+++ b/test/system/Makefile.am
@@ -90,7 +90,7 @@ $(filter-out %.class,$(TESTS)): %: %.lo $(LIBADD)
 #cvc3_main: cvc3_george.lo $(LIBADD)
 cvc3_main: $(LIBADD)
        $(AM_V_CXXLD)$(system_LINK) $(LIBADD) $(AM_LDFLAGS) $(LIBS) $+
-CVC4JavaTest.class: CVC4JavaTest.java @abs_top_builddir@/src/bindings/CVC4.jar @abs_top_builddir@/src/bindings/java/CVC4.la
+CVC4JavaTest.class: CVC4JavaTest.java @abs_top_builddir@/src/bindings/CVC4.jar @abs_top_builddir@/src/bindings/java/libcvc4jni.la
        $(AM_V_JAVAC)$(JAVAC) -classpath @abs_top_builddir@/src/bindings/CVC4.jar -d $(builddir) $<
 
 # for silent automake rules