diff options
Diffstat (limited to 'test/system/Makefile.am')
| -rw-r--r-- | test/system/Makefile.am | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 58bac6e5d..253a7f133 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -9,11 +9,6 @@ CPLUSPLUS_TESTS = \ statistics \ sep_log_api -if CVC4_BUILD_LIBCOMPAT -#CPLUSPLUS_TESTS += \ -# cvc3_main -endif - TESTS = $(CPLUSPLUS_TESTS) if CVC4_LANGUAGE_BINDING_JAVA @@ -27,7 +22,6 @@ CLASS_LOG_COMPILER = env DYLD_LIBRARY_PATH=$(abs_top_builddir)/src/bindings/java # Things that aren't tests but that tests rely on and need to # go into the distribution TEST_DEPS_DIST = \ - cvc3_main.cpp \ CVC4JavaTest.java \ run_java_test @@ -41,11 +35,6 @@ TEST_DEPS_NODIST = \ $(abs_top_builddir)/src/libcvc4.la \ $(abs_top_builddir)/src/parser/libcvc4parser.la -if CVC4_BUILD_LIBCOMPAT -TEST_DEPS_NODIST += \ - $(abs_top_builddir)/src/compat/libcvc4compat.la -endif - TEST_DEPS = \ $(TEST_DEPS_DIST) \ $(TEST_DEPS_NODIST) @@ -74,12 +63,7 @@ AM_CPPFLAGS = \ -D __BUILDING_CVC4_SYSTEM_TEST \ $(TEST_CPPFLAGS) -LIBADD = -if CVC4_BUILD_LIBCOMPAT -LIBADD += \ - @abs_top_builddir@/src/compat/libcvc4compat.la -endif -LIBADD += \ +LIBADD = \ @abs_top_builddir@/src/parser/libcvc4parser.la \ @abs_top_builddir@/src/libcvc4.la |