Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
do not install internal headers into /usr/tools (thanks Debian's lintian for the...
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 19 Jun 2011 08:58:08 +0000 (10:58 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 19 Jun 2011 08:58:08 +0000 (10:58 +0200)
buildtools/Cmake/DefinePackages.cmake

index e804111..c3d8881 100644 (file)
@@ -95,6 +95,10 @@ set(EXTRA_DIST
        examples/gras/ping/ping.h
        examples/gras/console/ping.h
        examples/gras/mmrpc/mmrpc.h
        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 
 )
 
 set(XBT_RL_SRC 
@@ -421,10 +425,6 @@ set(install_HEADERS
        include/simix/simix.h
        include/simix/datatypes.h
        include/simix/context.h
        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
 )
 set(source_of_generated_headers
        include/simgrid_config.h.in