diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-05 14:00:52 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 2e931a009cc474a6c326fc9a1b1b289198a50838 (patch) | |
| tree | 3543ef7c88856a19ff96e30c02b69393469d8930 /test/system | |
| parent | 32bc6b382859a96f08f7ef78c0d64efc5235d227 (diff) | |
cmake: Rebase with current master, add new tests/source files.
Diffstat (limited to 'test/system')
| -rw-r--r-- | test/system/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 0ae2806d4..291916082 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -11,7 +11,7 @@ set(CVC4_SYSTEM_TEST_FLAGS macro(cvc4_add_system_test name) # add_executable(${name} ${ARGN}) add_executable(${name} ${name}.cpp) - target_link_libraries(${name} main cvc4compat) + target_link_libraries(${name} main) target_compile_definitions(${name} PRIVATE ${CVC4_SYSTEM_TEST_FLAGS}) add_test(system/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name}) set_tests_properties(system/${name} PROPERTIES LABELS "system") @@ -28,4 +28,4 @@ cvc4_add_system_test(sep_log_api) cvc4_add_system_test(smt2_compliance) cvc4_add_system_test(statistics) cvc4_add_system_test(two_smt_engines) -#TODO java test (needs bindings) +# TODO: Move CVC4JavaTest.java to test/java and delete run_java_test (after full cmake migration) |