From a9d6d80ef0e6e89a19b48a5fa75661884ce04b3d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 1 Jun 2017 13:20:40 +0200
Subject: [PATCH] Warning in cmake if Z3 is not found

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

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 9ede52524..bc4f11d84 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -155,6 +155,8 @@ if(Z3_FOUND)
 
     add_imported_library(z3 SHARED ${Z3_LIBRARIES} ${Z3_INCLUDE_DIRS})
     list(APPEND STORM_DEP_TARGETS z3_SHARED)
+else()
+    message (WARNING "Storm - Z3 not found. Building of Prism/JANI models will not be supported.")
 endif(Z3_FOUND)
 
 #############################################################