From c9cf24458baa77e2a2de1bedbad5040d0d83aab2 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 13 Jul 2017 21:04:19 +0200
Subject: Prepare build system for Z3.

---
 cmake/FindZ3.cmake | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 cmake/FindZ3.cmake

(limited to 'cmake')

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()
+
-- 
cgit