diff --git a/NuSMV/CMakeLists.txt b/NuSMV/CMakeLists.txt
index ae559c4..e9d5655 100644
--- a/NuSMV/CMakeLists.txt
+++ b/NuSMV/CMakeLists.txt
@@ -64,6 +64,10 @@ if(PREFER_STATIC_LIBRARIES)
     list(INSERT CMAKE_FIND_LIBRARY_SUFFIXES 0 ${CMAKE_STATIC_LIBRARY_SUFFIX})
 endif()
 
+# Expose nusmv-config.h to cudd for some feature checks.
+add_definitions(-DHAVE_CONFIG_H)
+include_directories("${CMAKE_BINARY_DIR}")
+
 add_subdirectory(${CUDD_SOURCE_DIR} ${CUDD_BUILD_DIR})
 
 if(ENABLE_MINISAT)
@@ -328,8 +332,6 @@ set(nusmv_core_libs # the order is relevant here
 nusmv_write_config_h(nusmv-config.h)
 install(FILES "${PROJECT_BINARY_DIR}/nusmv-config.h" DESTINATION include)
 
-add_definitions(-DHAVE_CONFIG_H)
-
 
 # ----------------------------------------------------------------------
 # source code include dirs