diff options
Diffstat (limited to 'test/unit/CMakeLists.txt')
| -rw-r--r-- | test/unit/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 9b9a2a100..bd7c1ea22 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -65,6 +65,10 @@ macro(cvc4_add_unit_test is_white name output_dir) # We don't link against LFSC, because CVC4 is already linked against it. target_include_directories(${name} PRIVATE ${LFSC_INCLUDE_DIR}) endif() + if(USE_POLY) + # We don't link against libpoly, because CVC4 is already linked against it. + target_include_directories(${name} PRIVATE ${POLY_INCLUDE_DIR}) + endif() if(${is_white}) target_compile_options(${name} PRIVATE -fno-access-control) endif() |