From e311eaa40f35bf7ee96ab08436eb18c72b9f5426 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Mon, 9 Jan 2017 18:05:28 +0100
Subject: [PATCH] z3 as imported lib

---
 resources/3rdparty/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index d3e7f915e..a3b6c6322 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -134,8 +134,8 @@ set(STORM_HAVE_Z3 ${Z3_FOUND})
 
 if(Z3_FOUND)
     message (STATUS "Storm - Linking with Z3.")
-    include_directories(${Z3_INCLUDE_DIRS})
-    list(APPEND STORM_LINK_LIBRARIES ${Z3_LIBRARIES})
+    add_imported_library(z3 SHARED ${Z3_LIBRARIES} ${Z3_INCLUDE_DIRS})
+    list(APPEND STORM_DEP_TARGETS z3_SHARED)
 endif(Z3_FOUND)
 
 #############################################################