diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /test/system | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'test/system')
-rw-r--r-- | test/system/Makefile | 8 | ||||
-rw-r--r-- | test/system/Makefile.am | 102 | ||||
-rwxr-xr-x | test/system/run_java_test | 14 |
3 files changed, 0 insertions, 124 deletions
diff --git a/test/system/Makefile b/test/system/Makefile deleted file mode 100644 index 87b92bb11..000000000 --- a/test/system/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -topdir = ../.. -srcdir = test/system - -include $(topdir)/Makefile.subdir - -# synonyms for "check" -.PHONY: test -test: check diff --git a/test/system/Makefile.am b/test/system/Makefile.am deleted file mode 100644 index 253a7f133..000000000 --- a/test/system/Makefile.am +++ /dev/null @@ -1,102 +0,0 @@ -TESTS_ENVIRONMENT = -TEST_EXTENSIONS = .class -CPLUSPLUS_TESTS = \ - boilerplate \ - ouroborous \ - reset_assertions \ - two_smt_engines \ - smt2_compliance \ - statistics \ - sep_log_api - -TESTS = $(CPLUSPLUS_TESTS) - -if CVC4_LANGUAGE_BINDING_JAVA -TESTS += CVC4JavaTest.class -endif - -# we set the DYLD_LIBRARY_PATH in addition to -Djava.library.path, seems -# to be necessary on Mac -CLASS_LOG_COMPILER = env DYLD_LIBRARY_PATH=$(abs_top_builddir)/src/bindings/java/.libs:$(abs_top_builddir)/src/.libs:$(abs_top_builddir)/src/parser/.libs @srcdir@/run_java_test $(JAVA) -classpath .:@abs_top_builddir@/src/bindings/CVC4.jar -Djava.library.path=$(abs_top_builddir)/src/bindings/java/.libs:$(abs_top_builddir)/src/.libs:$(abs_top_builddir)/src/parser/.libs - -# Things that aren't tests but that tests rely on and need to -# go into the distribution -TEST_DEPS_DIST = \ - CVC4JavaTest.java \ - run_java_test - -# Make-level dependencies; these don't go in the source distribution -# but should trigger a re-compile of all unit tests. Libraries are -# included here because (1) if static-linking, the tests must be -# relinked, and (2) if they've changed that means the sources changed, -# and that means we should ensure the tests compile against any -# changes made in the header files. -TEST_DEPS_NODIST = \ - $(abs_top_builddir)/src/libcvc4.la \ - $(abs_top_builddir)/src/parser/libcvc4parser.la - -TEST_DEPS = \ - $(TEST_DEPS_DIST) \ - $(TEST_DEPS_NODIST) - -EXTRA_DIST = \ - $(CPLUSPLUS_TESTS:%=%.cpp) \ - $(TEST_DEPS_DIST) - -MOSTLYCLEANFILES = $(TESTS) - -if STATIC_BINARY -system_LINK = $(CXXLINK) -all-static -else -system_LINK = $(CXXLINK) -endif - -AM_CPPFLAGS = \ - -I. \ - "-I@top_builddir@/src" \ - "-I@top_srcdir@/src/include" \ - "-I@top_srcdir@/lib" \ - "-I@top_srcdir@/src" \ - "-I@top_srcdir@/src/prop/minisat" \ - -D __STDC_LIMIT_MACROS \ - -D __STDC_FORMAT_MACROS \ - -D __BUILDING_CVC4_SYSTEM_TEST \ - $(TEST_CPPFLAGS) - -LIBADD = \ - @abs_top_builddir@/src/parser/libcvc4parser.la \ - @abs_top_builddir@/src/libcvc4.la - -# WHEN SYSTEM TESTS ARE ADDED, BUILD LIKE THIS: -$(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 - $(AM_V_JAVAC)$(JAVAC) -classpath @abs_top_builddir@/src/bindings/CVC4.jar -d $(builddir) $< - -# for silent automake rules -AM_V_JAVAC = $(am__v_JAVAC_$(V)) -am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY)) -am__v_JAVAC_0 = @echo " JAVAC " $@; - -# trick automake into setting LTCXXCOMPILE, CXXLINK, etc. -if CVC4_FALSE -noinst_LTLIBRARIES = libdummy.la -nodist_libdummy_la_SOURCES = ouroborous.cpp -libdummy_la_LIBADD = @abs_top_builddir@/src/libcvc4.la -endif - -# rebuild tests if a library changes -#$(TESTS):: $(TEST_DEPS) - -MAKEFLAGS = -k -export VERBOSE = 1 - -# synonyms for "check" in this directory in this directory -.PHONY: test systemtests -test systemtests: check - -# no-ops here -.PHONY: units regress regress0 regress1 regress2 regress3 regress4 -units regress regress0 regress1 regress2 regress3 regress4: diff --git a/test/system/run_java_test b/test/system/run_java_test deleted file mode 100755 index 24947d523..000000000 --- a/test/system/run_java_test +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -# -# run_java_test -# Morgan Deters, September 2011 -# -# The purpose of this script is to change an automake test command -# line into something that a JVM likes. In particular, any dir/Foo.class -# listed on the command line is stripped of its dir/ and its .class extension. -# Works only for tests in the default package. -# -args=("$@") -args[$((${#args}))]="$(echo "${args[${#args}]}" | sed 's,\(.*/\)*\(.*\)\.class$,\2,')" -echo "${args[@]}" -exec "${args[@]}" |