From fab39f1ac2566f33ff1ce12523d258446a6cee3a Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 18 Jun 2015 13:12:11 +0200
Subject: [PATCH] Finding smtrat via their new export version

Former-commit-id: e261755b9ea48a9857619c68e1d0dc0ca29d4812
---
 CMakeLists.txt | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f60319227..79ddf1569 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -97,10 +97,14 @@ endif()
 
 find_package(carl QUIET)
 if(carl_FOUND)
-    message(STATUS "StoRM - Activating CArL.")
     set(STORM_HAVE_CARL ON)
 endif()
 
+find_package(smtrat QUIET)
+if(smtrat_FOUND)
+    set(STORM_HAVE_SMTRAT ON)
+endif()
+
 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
 message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}")
 
@@ -609,6 +613,20 @@ if(STORM_HAVE_CARL)
     target_link_libraries(storm-performance-tests lib_carl)
 endif()
 
+#############################################################
+##
+##      SMT-RAT
+##
+#############################################################
+
+if(STORM_HAVE_SMTRAT)
+message(STATUS "StoRM - Linking with smtrat.")
+    include_directories("${smtrat_INCLUDE_DIR}")
+    target_link_libraries(storm lib_smtrat)
+    target_link_libraries(storm-functional-tests lib_smtrat)
+    target_link_libraries(storm-performance-tests lib_smtrat)
+endif()
+
 #############################################################
 ##
 ##	MathSAT (optional)