Add the include into EXTRA DIST package.

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index c43b79a..b3b8e89 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -54,6 +54,7 @@ set(EXTRA_DIST
        src/include/surf/trace_mgr.h
        src/include/surf/surf.h
        src/include/surf/surfxml_parse_private.h
+       src/include/surf/surfxml_parse_values.h
        src/include/surf/random_mgr.h
        src/include/surf/surf_resource_lmm.h
        src/include/xbt/wine_dbghelp.h
@@ -87,7 +88,6 @@ set(EXTRA_DIST
        src/smpi/private.h
        src/smpi/smpi_mpi_dt_private.h
        src/smpi/README
-       src/mk_supernovae.pl
        
        examples/gras/ping/ping.h
        examples/gras/console/ping.h
@@ -322,6 +322,8 @@ set(LUA_SRC
        src/bindings/lua/simgrid_lua.c
        src/bindings/lua/lua_stub_generator.c
        src/bindings/lua/lua_console.c
+        src/bindings/lua/lua_utils.c
+        src/bindings/lua/lua_state_cloner.c
 )
 
 set(TRACING_SRC