revert [a30523e] (remove supernovae) because I need some timings on G5K, and fix...

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 941782b..8a97107 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -88,6 +88,7 @@ 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