29 lines
852 B
CMake
29 lines
852 B
CMake
find_path(Z3_INCLUDE_DIR NAMES z3.h
|
|
PATH_SUFFIXES libz3 z3
|
|
)
|
|
|
|
find_library(Z3_LIBRARIES NAMES z3 libz3
|
|
)
|
|
|
|
find_program(Z3_EXECUTABLE z3)
|
|
|
|
if(Z3_INCLUDE_DIR AND Z3_EXECUTABLE)
|
|
execute_process (COMMAND ${Z3_EXECUTABLE} -version
|
|
OUTPUT_VARIABLE libz3_version_str
|
|
ERROR_QUIET
|
|
OUTPUT_STRIP_TRAILING_WHITESPACE)
|
|
|
|
string(REGEX REPLACE "^Z3 version ([0-9.]+)" "\\1"
|
|
Z3_VERSION_STRING "${libz3_version_str}")
|
|
unset(libz3_version_str)
|
|
endif()
|
|
|
|
# handle the QUIETLY and REQUIRED arguments and set Z3_FOUND to TRUE if
|
|
# all listed variables are TRUE
|
|
include(FindPackageHandleStandardArgs)
|
|
FIND_PACKAGE_HANDLE_STANDARD_ARGS(Z3
|
|
REQUIRED_VARS Z3_LIBRARIES Z3_INCLUDE_DIR
|
|
VERSION_VAR Z3_VERSION_STRING)
|
|
|
|
mark_as_advanced(Z3_INCLUDE_DIR Z3_LIBRARIES)
|