From 4f167e5545ddc406559d3830105ce69bec6f257d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 18 Mar 2014 00:50:33 +0100
Subject: [PATCH] extended the CMakeLists to include carl when using parametric
 systems

Former-commit-id: 708cfa0f78b2b5b2c99c1801ab36d6b677fc8232
---
 CMakeLists.txt | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index aa1e269c0..87d564e41 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -33,7 +33,7 @@ set(Z3_ROOT "" CACHE STRING "The root directory of Z3 (if available).")
 set(ADDITIONAL_INCLUDE_DIRS "" CACHE STRING "Additional directories added to the include directories.")
 set(ADDITIONAL_LINK_DIRS "" CACHE STRING "Additional directories added to the link directories.")
 set(CUSTOM_BOOST_ROOT "" CACHE STRING "A custom path to the Boost root directory.")
-
+option(PARAMETRIC_SYSTEMS "Sets whether models with parameters are supported." OFF)
 #############################################################
 ##
 ##	Inclusion of required libraries
@@ -82,10 +82,14 @@ else()
 	set(Z3_LIB_NAME "z3")
 endif()
 
+find_package(carl)
+
 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
 message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}")
 
 
+
+
 #############################################################
 ##
 ##	Compiler specific settings and definitions
@@ -391,12 +395,27 @@ target_link_libraries(storm-performance-tests "glpk")
 #############################################################
 if (ENABLE_Z3)
     message (STATUS "StoRM - Linking with Z3")
-	include_directories("${Z3_ROOT}/include")
+    include_directories("${Z3_ROOT}/include")
     target_link_libraries(storm ${Z3_LIB_NAME})
     target_link_libraries(storm-functional-tests ${Z3_LIB_NAME})
     target_link_libraries(storm-performance-tests ${Z3_LIB_NAME})
 endif(ENABLE_Z3)
 
+#############################################################
+##
+##      carl
+##
+#############################################################
+
+if(PARAMETRIC_SYSTEMS)
+    message(STATUS "StoRM - Linking with carl")
+    include_directories("${carl_INCLUDE_DIR}")
+    target_link_libraries(storm lib_carl)
+    target_link_libraries(storm-functional-tests lib_carl)
+    target_link_libraries(storm-performance-tests lib_carl)
+endif()
+
+
 #############################################################
 ##
 ##	Google Test gtest
@@ -517,4 +536,4 @@ INSTALL(TARGETS storm storm-functional-tests storm-performance-tests
 	LIBRARY DESTINATION lib
 	ARCHIVE DESTINATION lib
 )
-include(CPackConfig.cmake)
\ No newline at end of file
+include(CPackConfig.cmake)