From 2624f63598c510587a0c8928ff08b346f2e11e27 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@web.de>
Date: Sun, 29 May 2016 21:14:48 +0200
Subject: [PATCH] added linking with hypro

Former-commit-id: cadca197f1394d6b560431579e4857fa0c5205bf
---
 CMakeLists.txt    | 42 +++++++++++++++++++++++++++++++++---------
 storm-config.h.in |  3 +++
 2 files changed, 36 insertions(+), 9 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f2621cf4d..c8916da9a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -27,6 +27,8 @@ option(STORM_USE_COTIRE "Sets whether Cotire should be used (for building precom
 option(LINK_LIBCXXABI "Sets whether libc++abi should be linked." OFF)
 option(USE_LIBCXX "Sets whether the standard library is libc++." OFF)
 option(USE_CARL "Sets whether carl should be included." ON)
+option(USE_SMTRAT "Sets whether SMT-RAT should be included." OFF)
+option(USE_HYPRO "Sets whether HyPro should be included." OFF)
 option(USE_XERCES "Sets whether xerces should be used." OFF)
 option(FORCE_COLOR "Force color output" OFF)
 option(STORM_PYTHON "Builds the API for Python" OFF)
@@ -377,16 +379,38 @@ endif()
 ##
 #############################################################
 
-# No find routine yet
-#find_package(smtrat QUIET)
-# Not yet supported
-set(smtrat_FOUND OFF)
 set(STORM_HAVE_SMTRAT OFF)
-if(smtrat_FOUND)
-	set(STORM_HAVE_SMTRAT ON)
-	message(STATUS "StoRM - Linking with smtrat.")
-    include_directories("${smtrat_INCLUDE_DIR}")
-    list(APPEND STORM_LINK_LIBRARIES ${smtrat_LIBRARIES})
+if(USE_SMTRAT)
+	find_package(smtrat QUIET REQUIRED)
+	if(smtrat_FOUND)
+		set(STORM_HAVE_SMTRAT ON)
+		message(STATUS "StoRM - Linking with smtrat.")
+    	include_directories("${smtrat_INCLUDE_DIR}")
+    	list(APPEND STORM_LINK_LIBRARIES ${smtrat_LIBRARIES})
+	else()
+		message(FATAL_ERROR "StoRM - SMT-RAT was requested but not found")
+	endif()
+endif()
+
+
+#############################################################
+##
+##      HyPro
+##
+#############################################################
+
+set(STORM_HAVE_HYPRO OFF)
+if(USE_HYPRO)
+	find_package(hypro QUIET REQUIRED)
+	if(hypro_FOUND)
+		set(STORM_HAVE_HYPRO ON)
+		message(STATUS "StoRM - Linking with hypro ${hypro_VERSION_STRING}")
+		include_directories("${hypro_INCLUDE_DIR}")
+		link_directories( /Users/tim/hypro/build )
+		list(APPEND STORM_LINK_LIBRARIES ${hypro_LIBRARIES})
+	else()
+		message(FATAL_ERROR "StoRM - HyPro was requested but not found")
+	endif()
 endif()
 
 #############################################################
diff --git a/storm-config.h.in b/storm-config.h.in
index 1bc2eac7d..852479069 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -47,6 +47,9 @@
 // Whether smtrat is available and to be used. 
 #cmakedefine STORM_HAVE_SMTRAT
 
+// Whether HyPro is available and to be used.
+#cmakedefine STORM_HAVE_HYPRO
+
 #cmakedefine STORM_LOGGING_FRAMEWORK
 
 #cmakedefine STORM_LOG_DISABLE_DEBUG