From 2e570f631147f6c4f1e52102a22736d25058bb42 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 2 Oct 2013 13:38:49 +0200
Subject: [PATCH] Merge.

Former-commit-id: 572cdb80fc9df9457aa2d77199913c7a843d99f0
---
 CMakeLists.txt | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 311fb0515..dd9d84115 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -264,6 +264,9 @@ endif(ADDITIONAL_LINK_DIRS)
 if (ENABLE_GUROBI)
 	link_directories("${GUROBI_ROOT}/lib")
 endif()
+if (ENABLE_Z3)
+    link_directories("${Z3_ROOT}/bin")
+endif()
 if ((NOT Boost_LIBRARY_DIRS) OR ("${Boost_LIBRARY_DIRS}" STREQUAL ""))
 	set(Boost_LIBRARY_DIRS "${Boost_INCLUDE_DIRS}/stage/lib")
 endif ()
@@ -336,6 +339,19 @@ if (ENABLE_GUROBI)
     target_link_libraries(storm-performance-tests "gurobi55")
 endif(ENABLE_GUROBI)
 
+#############################################################
+##
+##	Z3 (optional)
+##
+#############################################################
+if (ENABLE_Z3)
+    message (STATUS "StoRM - Linking with Z3")
+	include_directories("${Z3_ROOT}/include")
+    target_link_libraries(storm "z3")
+    target_link_libraries(storm-functional-tests "z3")
+    target_link_libraries(storm-performance-tests "z3")
+endif(ENABLE_Z3)
+
 #############################################################
 ##
 ##	Google Test gtest