X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fccf53a380a9a6de6c8bd9eafb182a91d79e1d3c..e0c8ef0b005883c27465faaf974353b5184d9274:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index e80411137e..c3d88816d4 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -95,6 +95,10 @@ set(EXTRA_DIST
 	examples/gras/ping/ping.h
 	examples/gras/console/ping.h
 	examples/gras/mmrpc/mmrpc.h
+
+	tools/gras/gras_stub_generator.h
+	tools/tesh/run_context.h  
+	tools/tesh/tesh.h
 )
 
 set(XBT_RL_SRC 
@@ -421,10 +425,6 @@ set(install_HEADERS
 	include/simix/simix.h
 	include/simix/datatypes.h
 	include/simix/context.h
-	
-	tools/gras/gras_stub_generator.h
-	tools/tesh/run_context.h  
-	tools/tesh/tesh.h
 )
 set(source_of_generated_headers
 	include/simgrid_config.h.in