diff options
Diffstat (limited to 'src/main/CMakeLists.txt')
| -rw-r--r-- | src/main/CMakeLists.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 6a960a214..2e9757fc7 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -47,6 +47,12 @@ target_include_directories(main PRIVATE ${LIBCVC4_INCLUDES}) add_library(main-test driver_unified.cpp $<TARGET_OBJECTS:main>) target_compile_definitions(main-test PRIVATE -D__BUILDING_CVC4DRIVER) target_link_libraries(main-test cvc4 cvc4parser) +if(USE_CLN) + target_link_libraries(main-test ${CLN_LIBRARIES}) + target_include_directories(main-test PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) +endif() +target_link_libraries(main-test ${GMP_LIBRARIES}) +target_include_directories(main-test PRIVATE $<BUILD_INTERFACE:${GMP_INCLUDE_DIR}>) #-----------------------------------------------------------------------------# # cvc4 binary configuration @@ -58,6 +64,12 @@ set_target_properties(cvc4-bin OUTPUT_NAME cvc4 RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) target_link_libraries(cvc4-bin cvc4 cvc4parser) +if(USE_CLN) + target_link_libraries(cvc4-bin ${CLN_LIBRARIES}) + target_include_directories(cvc4-bin PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) +endif() +target_link_libraries(cvc4-bin ${GMP_LIBRARIES}) +target_include_directories(cvc4-bin PRIVATE $<BUILD_INTERFACE:${GMP_INCLUDE_DIR}>) if(PROGRAM_PREFIX) install(PROGRAMS $<TARGET_FILE:cvc4-bin> |