add a function xbt_os_get_numcores()

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 828af03..834d497 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -78,13 +78,13 @@ set(EXTRA_DIST
        src/gras/Transport/transport_interface.h
        src/amok/Bandwidth/bandwidth_private.h
        src/amok/amok_modinter.h
-       src/simix/private.h
-       src/simix/process_private.h
-       src/simix/host_private.h
-       src/simix/network_private.h
-       src/simix/smurf_private.h
-       src/simix/synchro_private.h
-       src/simix/io_private.h
+       src/simix/smx_private.h
+       src/simix/smx_process_private.h
+       src/simix/smx_host_private.h
+       src/simix/smx_network_private.h
+       src/simix/smx_smurf_private.h
+       src/simix/smx_synchro_private.h
+       src/simix/smx_io_private.h
        
        src/smpi/private.h
        src/smpi/smpi_mpi_dt_private.h