blob: ee4329d25759180df67d474949da01baefb96bc1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
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
|