Finding smtrat via their new export version

Former-commit-id: e261755b9e

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)