From 88851f0105a72be35ca85c33087455a7fc724945 Mon Sep 17 00:00:00 2001 From: sjunges Date: Mon, 18 Dec 2017 23:34:58 +0100 Subject: [PATCH] install headers to include/storm --- src/storm/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storm/CMakeLists.txt b/src/storm/CMakeLists.txt index 0ed4b0d1c..0cf8d3183 100644 --- a/src/storm/CMakeLists.txt +++ b/src/storm/CMakeLists.txt @@ -74,3 +74,5 @@ add_dependencies(binaries storm-main) # installation install(TARGETS storm RUNTIME DESTINATION bin LIBRARY DESTINATION lib) install(TARGETS storm-main RUNTIME DESTINATION bin LIBRARY DESTINATION lib OPTIONAL) +install(DIRECTORY ${CMAKE_BINARY_DIR}/include/ DESTINATION include/storm + FILES_MATCHING PATTERN "*.h")