diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/system/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 53039db6e..7fa7b4a68 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -1,10 +1,12 @@ TESTS_ENVIRONMENT = TEST_EXTENSIONS = .class -TESTS = \ +CPLUSPLUS_TESTS = \ boilerplate \ ouroborous # cvc3_main +TESTS = $(CPLUSPLUS_TESTS) + if CVC4_LANGUAGE_BINDING_JAVA TESTS += CVC4JavaTest.class endif @@ -37,7 +39,7 @@ TEST_DEPS = \ $(TEST_DEPS_NODIST) EXTRA_DIST = \ - $(TESTS:%=%.cpp) \ + $(CPLUSPLUS_TESTS:%=%.cpp) \ $(TEST_DEPS_DIST) if STATIC_BINARY |