From 39698d6ecbe5d33c026259643f9b3566fc60c9c1 Mon Sep 17 00:00:00 2001 From: sjunges Date: Sun, 10 Jun 2018 21:01:14 +0200 Subject: [PATCH] fix install of storm-counterexamples --- src/storm-counterexamples/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-counterexamples/CMakeLists.txt b/src/storm-counterexamples/CMakeLists.txt index d01c4ceb7..2052930c6 100644 --- a/src/storm-counterexamples/CMakeLists.txt +++ b/src/storm-counterexamples/CMakeLists.txt @@ -20,7 +20,7 @@ set(STORM_TARGETS ${STORM_TARGETS} PARENT_SCOPE) target_link_libraries(storm-counterexamples PUBLIC storm) # Install storm headers to include directory. -foreach(HEADER ${STORM_DFT_HEADERS}) +foreach(HEADER ${STORM_CEX_HEADERS}) string(REGEX REPLACE "${PROJECT_SOURCE_DIR}/src/?" "" RELATIVE_HEADER_PATH ${HEADER}) string(REGEX MATCH "(.*)[/\\]" RELATIVE_DIRECTORY ${RELATIVE_HEADER_PATH}) string(REGEX REPLACE "${RELATIVE_DIRECTORY}/?" "" HEADER_FILENAME ${RELATIVE_HEADER_PATH})