diff options
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() |