From 6e609fe4d8485717367de7b761cf61eadb345bfa Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Fri, 2 Oct 2015 23:27:18 +0000
Subject: [PATCH] Control headers should not be installed

---
 control/CMakeLists.txt | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/control/CMakeLists.txt b/control/CMakeLists.txt
index 1e2ef3e9d..6ede4102f 100644
--- a/control/CMakeLists.txt
+++ b/control/CMakeLists.txt
@@ -54,9 +54,9 @@ set(CHAMELEON_HDRS
     )
 
 set(HDR_INSTALL ${CHAMELEON_HDRS})
-foreach( hdr_file ${CHAMELEON_HDRS_GENERATED} )
-    list(APPEND HDR_INSTALL ${CMAKE_CURRENT_BINARY_DIR}/${hdr_file})
-endforeach()
+# foreach( hdr_file ${CHAMELEON_HDRS_GENERATED} )
+#     list(APPEND HDR_INSTALL ${CMAKE_CURRENT_BINARY_DIR}/${hdr_file})
+# endforeach()
 
 list(APPEND CHAMELEON_HDRS ${CHAMELEON_HDRS_GENERATED})
 
@@ -67,8 +67,8 @@ add_custom_target(control_include ALL SOURCES ${CHAMELEON_HDRS})
 
 # installation
 # ------------
-install(FILES ${HDR_INSTALL}
-        DESTINATION include/chameleon/control)
+# install(FILES ${HDR_INSTALL}
+#         DESTINATION include/chameleon/control)
 
 ###
 ### END CMakeLists.txt
-- 
GitLab