sets the STORM_HAVE_CARL define for c++. Requires carl for parametric builds now

Former-commit-id: 1974957484

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}")

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_