From 94301a3fdb8be507e1c9fa0c1f7a21ab836cb2e1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 16 May 2019 11:38:04 +0200
Subject: [PATCH 1/1] Allow binary to be stripped with install/strip.

See https://gitlab.kitware.com/cmake/cmake/issues/16858.

Fix simgrid/simgrid#13 (FramaGit).
---
 ChangeLog                 | 1 +
 tools/cmake/Distrib.cmake | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 1f670a58d4..8563016dc7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -22,6 +22,7 @@ Fixed bugs (GH=GitHub; FG=FramaGit):
  - FG#10: Can not use MSG_process_set_data from SMPI any more
  - FG#11: Auto-restart actors forget their on_exit behavior
  - FG#12: -Denable_lto=OFF doesn't disable LTO
+ - FG#13: Installs unstripped file 'bin/graphicator'
  - GH#133: Java : a process can run on a VM even if its host is off
  - GH#326: Valgrind-detected error for join() when energy plugin is activated
 
diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 91b516c33c..c3d372a25f 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -27,7 +27,7 @@ endif()
 
 install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/tesh  DESTINATION bin/)
 
-install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/graphicator  DESTINATION bin/)
+install(TARGETS graphicator DESTINATION bin/)
 
 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl
   DESTINATION bin/
-- 
2.20.1