Fix makefile dependence for system tests.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 21 Feb 2014 17:35:37 +0000 (12:35 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 21 Feb 2014 17:35:37 +0000 (12:35 -0500)
test/system/Makefile.am

index 0306afa683cf7337671d26a7229e098d0a1a25a5..6d278409ebe030f6f2a59d30f3fcb235ea586af1 100644 (file)
@@ -85,8 +85,8 @@ LIBADD += \
        @abs_top_builddir@/src/libcvc4.la
 
 # WHEN SYSTEM TESTS ARE ADDED, BUILD LIKE THIS:
-$(filter-out %.class.lo,$(TESTS:%=%.lo)): %.lo: %.cpp
-       $(AM_V_CXX)$(LTCXXCOMPILE) $(AM_CXXFLAGS) -c -o $@ $+
+$(filter-out %.class.lo,$(TESTS:%=%.lo)): %.lo: %.cpp $(LIBADD)
+       $(AM_V_CXX)$(LTCXXCOMPILE) $(AM_CXXFLAGS) -c -o $@ $<
 $(filter-out %.class,$(TESTS)): %: %.lo $(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/libcvc4jni.la