diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-11-04 11:43:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-04 18:43:42 +0000 |
commit | e1f69a43e9ee7e4a63f3c4a1881001bc650c9df7 (patch) | |
tree | f5293f7fdc47f773466185585a8c41d85a258562 /test | |
parent | 6aef06e6fed867eb014e08859139c8c610c7cce4 (diff) |
Refactor cmake to build either static or shared (#7534)
This PR simplifies the cmake setup to only build either shared or statically. It also attempts to fix windows builds, both shared and static.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index bbfc2a74b..24158e00b 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -41,7 +41,7 @@ macro(cvc5_add_unit_test is_white name output_dir) add_executable(${name} ${test_src}) target_compile_definitions(${name} PRIVATE ${CVC5_UNIT_TEST_FLAGS_BLACK}) gtest_add_tests(TARGET ${name}) - target_link_libraries(${name} PUBLIC main-test GMP_SHARED) + target_link_libraries(${name} PUBLIC main-test GMP) target_link_libraries(${name} PUBLIC GTest::Main) target_link_libraries(${name} PUBLIC GTest::GTest) |