solidity/cmake/FindZ3.cmake

find_path(Z3_INCLUDE_DIR z3++.h)
find_library(Z3_LIBRARY NAMES z3 )
include(FindPackageHandleStandardArgs)
find_package_handle_standard_args(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR)

# TODO: Create IMPORTED library for Z3.
Prepare build system for Z3. 2017-07-13 19:04:19 +00:00			`find_path(Z3_INCLUDE_DIR z3++.h)`
			`find_library(Z3_LIBRARY NAMES z3 )`
CMake: Fix FindZ3 2017-08-24 06:31:51 +00:00			`include(FindPackageHandleStandardArgs)`
			`find_package_handle_standard_args(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR)`
Prepare build system for Z3. 2017-07-13 19:04:19 +00:00
CMake: Fix FindZ3 2017-08-24 06:31:51 +00:00			`# TODO: Create IMPORTED library for Z3.`
Prepare build system for Z3. 2017-07-13 19:04:19 +00:00