diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-19 11:30:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-19 09:30:04 +0000 |
commit | a06ec9eb224c437523f3bff0ac6f6437d924f36a (patch) | |
tree | 8701141bddf60efe6305f1d1f02fd42ffaeec2d6 /test | |
parent | 353006984c0c7bbd1bd419c04e4bb873c7eee52a (diff) |
Remove linking against gmp and cln in tests and parser (#6376)
Finally, we no longer need to link against GMP and CLN for the parser and the tests.
To actually achieve this, this PR also removes some dead code and unused includes from some parser files.
Diffstat (limited to 'test')
-rw-r--r-- | test/api/CMakeLists.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index 6dadbf759..48318012f 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -37,10 +37,6 @@ macro(cvc4_add_api_test name) add_executable(${name} ${name}.cpp) target_link_libraries(${name} PUBLIC main-test) target_compile_definitions(${name} PRIVATE ${CVC5_API_TEST_FLAGS}) - if(USE_CLN) - target_link_libraries(${name} PRIVATE CLN) - endif() - target_link_libraries(${name} PRIVATE GMP) set_target_properties(${name} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${test_bin_dir}) add_test(api/${name} ${test_bin_dir}/${name}) |