solidity/cmake/FindGMP.cmake

find_library(GMP_LIBRARY NAMES gmp)
include(FindPackageHandleStandardArgs)
find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY)

if(GMP_FOUND AND NOT TARGET GMP::GMP)
    add_library(GMP::GMP UNKNOWN IMPORTED)
    set_property(TARGET GMP::GMP PROPERTY IMPORTED_LOCATION ${GMP_LIBRARY})
endif()
Use imported CMake targets. 2018-12-17 12:42:48 +00:00			`find_library(GMP_LIBRARY NAMES gmp)`
[SMTChecker] Integration with CVC4 2018-04-06 16:01:40 +00:00			`include(FindPackageHandleStandardArgs)`
			`find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY)`
Use imported CMake targets. 2018-12-17 12:42:48 +00:00
			`if(GMP_FOUND AND NOT TARGET GMP::GMP)`
			`add_library(GMP::GMP UNKNOWN IMPORTED)`
			`set_property(TARGET GMP::GMP PROPERTY IMPORTED_LOCATION ${GMP_LIBRARY})`
			`endif()`