diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-03-09 18:26:07 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-03-09 18:26:07 +0000 |
commit | ec366494778d34d6fd2d27a124a641ebdc249b43 (patch) | |
tree | 8ce47b430c7bab09abcfa15f30a7166052ac8914 /test/system | |
parent | e0818c5764f69be7a75f65a4fa2f5993ba5b71e8 (diff) |
minor fixes: to "make dist" in build directories with language bindings enabled; and to makefile standards conformance
Diffstat (limited to 'test/system')
-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 |