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/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/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 4e2113c51..1a8c1964d 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1127,47 +1127,46 @@ if(ENABLE_VALGRIND) target_include_directories(cvc4 PRIVATE ${Valgrind_INCLUDE_DIR}) endif() if(USE_ABC) - target_link_libraries(cvc4 ${ABC_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${ABC_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${ABC_INCLUDE_DIR}) endif() if(USE_CADICAL) - target_link_libraries(cvc4 ${CaDiCaL_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${CaDiCaL_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${CaDiCaL_INCLUDE_DIR}) endif() if(USE_CLN) - target_link_libraries(cvc4 ${CLN_LIBRARIES}) - target_include_directories(cvc4 PUBLIC $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) + target_link_libraries(cvc4 PRIVATE ${CLN_LIBRARIES}) + target_include_directories(cvc4 PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) endif() if(USE_CRYPTOMINISAT) - target_link_libraries(cvc4 ${CryptoMiniSat_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${CryptoMiniSat_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${CryptoMiniSat_INCLUDE_DIR}) endif() if(USE_KISSAT) - target_link_libraries(cvc4 ${Kissat_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${Kissat_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${Kissat_INCLUDE_DIR}) endif() if(USE_GLPK) - target_link_libraries(cvc4 ${GLPK_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${GLPK_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${GLPK_INCLUDE_DIR}) endif() if(USE_POLY) - target_link_libraries(cvc4 ${POLY_LIBRARIES}) + target_link_libraries(cvc4 PRIVATE ${POLY_LIBRARIES}) target_include_directories(cvc4 PRIVATE ${POLY_INCLUDE_DIR}) endif() if(USE_SYMFPU) - target_include_directories(cvc4 - PUBLIC $<BUILD_INTERFACE:${SymFPU_INCLUDE_DIR}>) + target_link_libraries(cvc4 PRIVATE SymFPU) endif() # Note: When linked statically GMP needs to be linked after CLN since CLN # depends on GMP. -target_link_libraries(cvc4 ${GMP_LIBRARIES}) -target_include_directories(cvc4 PUBLIC $<BUILD_INTERFACE:${GMP_INCLUDE_DIR}>) +target_link_libraries(cvc4 PRIVATE ${GMP_LIBRARIES}) +target_include_directories(cvc4 PRIVATE $<BUILD_INTERFACE:${GMP_INCLUDE_DIR}>) # Add rt library # Note: For glibc < 2.17 we have to additionally link against rt (man clock_gettime). # RT_LIBRARIES should be empty for glibc >= 2.17 -target_link_libraries(cvc4 ${RT_LIBRARIES}) +target_link_libraries(cvc4 PRIVATE ${RT_LIBRARIES}) #-----------------------------------------------------------------------------# # Visit main subdirectory after creating target cvc4. For target main, we have |