diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0d1549fbd..9d88dc762 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -84,7 +84,7 @@ endif()
 
 if(${PARAMETRIC_SYSTEMS})
 	find_package(carl REQUIRED)
-	set(STORM_HAVE_CARL)
+	set(STORM_HAVE_CARL ON)
 endif()
 
 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
diff --git a/storm-config.h.in b/storm-config.h.in
index a2b2edba9..cc6e63c41 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -33,7 +33,11 @@
 // Whether Intel Threading Building Blocks are available and to be used (define/undef)
 #@STORM_CPP_INTELTBB_DEF@ STORM_HAVE_INTELTBB
 
+// Whether support for parametric systems should be enabled
+#cmakedefine PARAMETRIC_SYSTEMS
+
 // Whether carl is available and to be used.
 #cmakedefine STORM_HAVE_CARL
 
+
 #endif // STORM_GENERATED_STORMCONFIG_H_