+
+add_custom_target(simgrid-colorizer ALL
+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 $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/
+ RENAME simgrid_update_xml)
+
+add_custom_target(simgrid_update_xml ALL
+COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_HOME_DIRECTORY}/tools/simgrid_update_xml.pl ${CMAKE_BINARY_DIR}/bin/simgrid_update_xml
+)
+
+install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/gras_stub_generator
+ DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)