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_