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 263691c..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
@@ -341,10 +341,10 @@ set(TRACING_SRC
        src/instr/instr_routing.c
        src/instr/instr_config.c
        src/instr/instr_interface.c
-       src/instr/instr_paje.c
        src/instr/instr_paje_trace.c
        src/instr/instr_paje_types.c
        src/instr/instr_paje_values.c
+       src/instr/instr_paje_containers.c
        src/instr/instr_msg_task.c
        src/instr/instr_msg_process.c
        src/instr/instr_surf.c