| Dominic Chen | 08f943c | 2017-04-04 19:52:25 +0000 | [diff] [blame] | 1 | find_path(Z3_INCLUDE_DIR NAMES z3.h |
| Michal Gorny | 5ef8bf7 | 2017-04-08 14:38:06 +0000 | [diff] [blame] | 2 | PATH_SUFFIXES libz3 z3 |
| Dominic Chen | 08f943c | 2017-04-04 19:52:25 +0000 | [diff] [blame] | 3 | ) |
| 4 | |
| 5 | find_library(Z3_LIBRARIES NAMES z3 libz3 |
| 6 | ) |
| 7 | |
| 8 | find_program(Z3_EXECUTABLE z3) |
| 9 | |
| 10 | if(Z3_INCLUDE_DIR AND Z3_EXECUTABLE) |
| 11 | execute_process (COMMAND ${Z3_EXECUTABLE} -version |
| 12 | OUTPUT_VARIABLE libz3_version_str |
| 13 | ERROR_QUIET |
| 14 | OUTPUT_STRIP_TRAILING_WHITESPACE) |
| 15 | |
| 16 | string(REGEX REPLACE "^Z3 version ([0-9.]+)" "\\1" |
| 17 | Z3_VERSION_STRING "${libz3_version_str}") |
| 18 | unset(libz3_version_str) |
| 19 | endif() |
| 20 | |
| 21 | # handle the QUIETLY and REQUIRED arguments and set Z3_FOUND to TRUE if |
| 22 | # all listed variables are TRUE |
| 23 | include(FindPackageHandleStandardArgs) |
| 24 | FIND_PACKAGE_HANDLE_STANDARD_ARGS(Z3 |
| 25 | REQUIRED_VARS Z3_LIBRARIES Z3_INCLUDE_DIR |
| 26 | VERSION_VAR Z3_VERSION_STRING) |
| 27 | |
| 28 | mark_as_advanced(Z3_INCLUDE_DIR Z3_LIBRARIES) |