diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-31 21:16:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 19:16:05 +0000 |
commit | b7210ed60d517aebb25c23a2f407ee59562587dd (patch) | |
tree | 082a225b399f5db85d3cda3dfe0c410090244433 /test/unit | |
parent | a779d33c559e5e494e71ca1a0c744d0275b31b5c (diff) |
Refactor SymFPU dependency (#6218)
This PR refactors the contrib script to download SymFPU to a cmake external project.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/CMakeLists.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 7163b5a12..c8c2b0d65 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -40,10 +40,17 @@ macro(cvc4_add_unit_test is_white name output_dir) target_link_libraries(${name} main-test) target_link_libraries(${name} GTest::Main) target_link_libraries(${name} GTest::GTest) + + if(USE_CLN) + target_link_libraries(${name} ${CLN_LIBRARIES}) + target_include_directories(${name} PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) + endif() if(USE_POLY) - # We don't link against libpoly, because CVC4 is already linked against it. + target_link_libraries(${name} ${POLY_LIBRARIES}) target_include_directories(${name} PRIVATE ${POLY_INCLUDE_DIR}) endif() + target_link_libraries(${name} ${GMP_LIBRARIES}) + target_include_directories(${name} PRIVATE ${GMP_INCLUDE_DIR}) if(${is_white}) target_compile_options(${name} PRIVATE -fno-access-control) endif() |