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 /src/main/CMakeLists.txt | |
parent | a779d33c559e5e494e71ca1a0c744d0275b31b5c (diff) |
Refactor SymFPU dependency (#6218)
This PR refactors the contrib script to download SymFPU to a cmake external project.
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> |