mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
5 lines
200 B
CMake
5 lines
200 B
CMake
|
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)
|