From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 19 Jun 2011 08:58:08 +0000 (+0200)
Subject: do not install internal headers into /usr/tools (thanks Debian's lintian for the... 
X-Git-Tag: v3_6~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e0c8ef0b005883c27465faaf974353b5184d9274

do not install internal headers into /usr/tools (thanks Debian's lintian for the report)
---

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