Updated install rule

ticktac-project · Jul 5, 2022 · 2ff35f5 · 2ff35f5
1 parent 52911f4
commit 2ff35f5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/include/CMakeLists.txt b/include/CMakeLists.txt
@@ -3,6 +3,12 @@ set(TCHECKER_CONFIG_HH "${CMAKE_CURRENT_BINARY_DIR}/tchecker/config.hh")
 
 configure_file(${TCHECKER_CONFIG_HH_IN} ${TCHECKER_CONFIG_HH} @ONLY)
 
+install(DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/"
+    DESTINATION "include"
+    FILES_MATCHING
+    PATTERN "*.hh"
+)
+
 install(DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/"
     DESTINATION "include"
     FILES_MATCHING