source: icGREP/icgrep-devel/icgrep/cmake/FindZ3.cmake @ 5814

Last change on this file since 5814 was 5202, checked in by nmedfort, 3 years ago

Initial work on adding types to PabloAST and mutable Var objects.

File size: 494 bytes
Line 
1IF (Z3_INCLUDE_DIR)
2  SET(Z3_FIND_QUIETLY TRUE)
3ENDIF (Z3_INCLUDE_DIR)
4
5FIND_PATH(Z3_INCLUDE_DIR z3.h z3++.h)
6
7SET(Z3_NAMES z3 libz3 ltz3 libz3 lz3)
8FIND_LIBRARY(Z3_LIBRARY NAMES ${Z3_NAMES} )
9
10INCLUDE(FindPackageHandleStandardArgs)
11FIND_PACKAGE_HANDLE_STANDARD_ARGS(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR)
12
13IF(Z3_FOUND)
14  SET(Z3_LIBRARIES ${Z3_LIBRARY})
15  SET(Z3_INCLUDE_DIRS ${Z3_INCLUDE_DIR})
16ELSE(Z3_FOUND)
17  SET(Z3_LIBRARIES)
18ENDIF(Z3_FOUND)
19
20MARK_AS_ADVANCED(Z3_LIBRARY Z3_INCLUDE_DIR)
Note: See TracBrowser for help on using the repository browser.