diff --git a/resources/cmake/stormConfig.cmake.in b/resources/cmake/stormConfig.cmake.in
index 99b7bfb91..d8f08533f 100644
--- a/resources/cmake/stormConfig.cmake.in
+++ b/resources/cmake/stormConfig.cmake.in
@@ -2,6 +2,8 @@ set(storm_VERSION @storm_VERSION@)
 
 get_filename_component(storm_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
 
+include("@carl_CMAKE_DIR@/carlConfig.cmake")
+
 @DEP_TARGETS@
 
 @EXP_OPTIONS@