mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
27 lines
840 B
CMake
27 lines
840 B
CMake
if (USE_CVC4)
|
|
find_path(CVC4_INCLUDE_DIR cvc4/cvc4.h)
|
|
find_library(CVC4_LIBRARY NAMES cvc4)
|
|
include(FindPackageHandleStandardArgs)
|
|
find_package_handle_standard_args(CVC4 DEFAULT_MSG CVC4_LIBRARY CVC4_INCLUDE_DIR)
|
|
if(CVC4_FOUND)
|
|
# CVC4 may depend on either CLN or GMP.
|
|
# We can assume that the one it requires is present on the system,
|
|
# so we quietly try to find both and link against them, if they are
|
|
# present.
|
|
find_package(CLN QUIET)
|
|
find_package(GMP QUIET)
|
|
|
|
set(CVC4_LIBRARIES ${CVC4_LIBRARY})
|
|
|
|
if (CLN_FOUND)
|
|
set(CVC4_LIBRARIES ${CVC4_LIBRARIES} ${CLN_LIBRARY})
|
|
endif ()
|
|
|
|
if (GMP_FOUND)
|
|
set(CVC4_LIBRARIES ${CVC4_LIBRARIES} ${GMP_LIBRARY})
|
|
endif ()
|
|
endif()
|
|
else()
|
|
set(CVC4_FOUND FALSE)
|
|
endif()
|