diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
| commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
| tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /test/unit/CMakeLists.txt | |
| parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) | |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'test/unit/CMakeLists.txt')
| -rw-r--r-- | test/unit/CMakeLists.txt | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index e99d92303..f0971db62 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -33,11 +33,10 @@ add_custom_target(units DEPENDS build-units) set(CVC5_UNIT_TEST_FLAGS_BLACK - -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST - -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) + -D__BUILDING_CVC5LIB_UNIT_TEST -D__BUILDING_CVC5PARSERLIB_UNIT_TEST) # Generate and add unit test. -macro(cvc4_add_unit_test is_white name output_dir) +macro(cvc5_add_unit_test is_white name output_dir) set(test_src ${CMAKE_CURRENT_LIST_DIR}/${name}.cpp) add_executable(${name} ${test_src}) target_compile_definitions(${name} PRIVATE ${CVC5_UNIT_TEST_FLAGS_BLACK}) @@ -79,11 +78,11 @@ macro(cvc4_add_unit_test is_white name output_dir) set_tests_properties(${test_name} PROPERTIES LABELS "unit") endmacro() -macro(cvc4_add_unit_test_black name output_dir) - cvc4_add_unit_test(FALSE ${name} ${output_dir}) +macro(cvc5_add_unit_test_black name output_dir) + cvc5_add_unit_test(FALSE ${name} ${output_dir}) endmacro() -macro(cvc4_add_unit_test_white name output_dir) - cvc4_add_unit_test(TRUE ${name} ${output_dir}) +macro(cvc5_add_unit_test_white name output_dir) + cvc5_add_unit_test(TRUE ${name} ${output_dir}) endmacro() add_subdirectory(api) |