Revert "Kill unused target."

My mistake, it's in fact used (keyword ALL).

This reverts commit 1b69fabbaddeda90a9065f31ef30fb8f22ad4105.

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 40d1570..7a8b059 100644 (file)
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -33,6 +33,10 @@ install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl
   DESTINATION bin/
   RENAME simgrid-colorizer)
 
   DESTINATION bin/
   RENAME simgrid-colorizer)
 

+add_custom_target(simgrid-colorizer ALL
+  COMMENT "Install ${CMAKE_BINARY_DIR}/bin/colorize"
+  COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/tools/MSG_visualization/colorize.pl ${CMAKE_BINARY_DIR}/bin/colorize)
+

 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl
   DESTINATION bin/
   RENAME simgrid_update_xml)
 install(PROGRAMS ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl
   DESTINATION bin/
   RENAME simgrid_update_xml)