mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
28 lines
989 B
CMake
28 lines
989 B
CMake
if (USE_OSMT2)
|
|
find_path(OSMT2_INCLUDE_DIR opensmt/opensmt2.h)
|
|
find_library(OSMT2_LIBRARY NAMES opensmt)
|
|
include(FindPackageHandleStandardArgs)
|
|
find_package_handle_standard_args(OSMT2 DEFAULT_MSG OSMT2_LIBRARY OSMT2_INCLUDE_DIR)
|
|
if(OSMT2_FOUND)
|
|
# OSMT2 depends on GMP.
|
|
# We can assume that GMP is present on the system,
|
|
# so we quietly try to find it and link against it, if it is present.
|
|
find_package(GMP QUIET)
|
|
|
|
set(OSMT2_LIBRARIES ${OSMT2_LIBRARY})
|
|
|
|
if (GMP_FOUND)
|
|
set(OSMT2_LIBRARIES ${OSMT2_LIBRARIES} GMP::GMP)
|
|
endif ()
|
|
|
|
if (NOT TARGET OSMT2::OSMT2)
|
|
add_library(OSMT2::OSMT2 UNKNOWN IMPORTED)
|
|
set_property(TARGET OSMT2::OSMT2 PROPERTY IMPORTED_LOCATION ${OSMT2_LIBRARY})
|
|
set_property(TARGET OSMT2::OSMT2 PROPERTY INTERFACE_LINK_LIBRARIES ${OSMT2_LIBRARIES})
|
|
set_property(TARGET OSMT2::OSMT2 PROPERTY INTERFACE_INCLUDE_DIRECTORIES ${OSMT2_INCLUDE_DIR})
|
|
endif()
|
|
endif()
|
|
else()
|
|
set(OSMT2_FOUND FALSE)
|
|
endif()
|