From 8458e753095179ec5974666786b4ef7bb87161a3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 18 Mar 2014 17:30:31 +0100
Subject: [PATCH] sets the STORM_HAVE_CARL define for c++. Requires carl for
 parametric builds now

Former-commit-id: 19749574846312c79f7f2de554ba44de9f96eb0b
---
 CMakeLists.txt    | 5 ++++-
 storm-config.h.in | 3 +++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 87d564e41..0d1549fbd 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -82,7 +82,10 @@ else()
 	set(Z3_LIB_NAME "z3")
 endif()
 
-find_package(carl)
+if(${PARAMETRIC_SYSTEMS})
+	find_package(carl REQUIRED)
+	set(STORM_HAVE_CARL)
+endif()
 
 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
 message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}")
diff --git a/storm-config.h.in b/storm-config.h.in
index 85a33e032..a2b2edba9 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -33,4 +33,7 @@
 // Whether Intel Threading Building Blocks are available and to be used (define/undef)
 #@STORM_CPP_INTELTBB_DEF@ STORM_HAVE_INTELTBB
 
+// Whether carl is available and to be used.
+#cmakedefine STORM_HAVE_CARL
+
 #endif // STORM_GENERATED_STORMCONFIG_H_