aboutsummaryrefslogtreecommitdiffstats
path: root/cmake/FindZ3.cmake
diff options
context:
space:
mode:
Diffstat (limited to 'cmake/FindZ3.cmake')
-rw-r--r--cmake/FindZ3.cmake9
1 files changed, 9 insertions, 0 deletions
diff --git a/cmake/FindZ3.cmake b/cmake/FindZ3.cmake
new file mode 100644
index 00000000..8f3f9ee1
--- /dev/null
+++ b/cmake/FindZ3.cmake
@@ -0,0 +1,9 @@
+find_path(Z3_INCLUDE_DIR z3++.h)
+find_library(Z3_LIBRARY NAMES z3 )
+include(${CMAKE_CURRENT_LIST_DIR}/FindPackageHandleStandardArgs.cmake)
+FIND_PACKAGE_HANDLE_STANDARD_ARGS(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR)
+
+if(Z3_FOUND)
+ set(Z3_LIBRARIES ${Z3_LIBRARY})
+endif()
+