diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-20 18:40:25 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-20 18:40:25 -0700 |
| commit | 3572c83ed8558012fc744a00c34dc506994130b2 (patch) | |
| tree | cda280547939f2f7c0dd545131ceb93b1aa98616 /test/system/Makefile.am | |
| parent | 03abb94451a8bc2fb59b5b2fc95c931715575dc0 (diff) | |
Remove disabled system test cvc3_george. (#2342)
Disabled since 6 years, @mdeters commented when disabling it that it takes a very long time to build, see 868ee6d.
Diffstat (limited to 'test/system/Makefile.am')
| -rw-r--r-- | test/system/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index ed52b0232..58bac6e5d 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -28,10 +28,8 @@ CLASS_LOG_COMPILER = env DYLD_LIBRARY_PATH=$(abs_top_builddir)/src/bindings/java # go into the distribution TEST_DEPS_DIST = \ cvc3_main.cpp \ - cvc3_george.h \ CVC4JavaTest.java \ run_java_test -# cvc3_george.cpp # Make-level dependencies; these don't go in the source distribution # but should trigger a re-compile of all unit tests. Libraries are @@ -46,7 +44,6 @@ TEST_DEPS_NODIST = \ if CVC4_BUILD_LIBCOMPAT TEST_DEPS_NODIST += \ $(abs_top_builddir)/src/compat/libcvc4compat.la -# cvc3_george.lo endif TEST_DEPS = \ |