X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7b98df0790cc3fec26293ba257f64d94135098c4..708989f9970b6f37f3ca7c7b568bcbfeaa53867f:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 352a0fc56b..06c14befc8 100644
--- 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,8 +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
@@ -372,7 +374,7 @@ set(MC_SRC
 	src/mc/mc_global.c
 	src/mc/mc_dpor.c
 	src/mc/mc_request.c
-	src/mc/private.h
+	src/mc/mc_private.h
 	src/mc/mc_liveness.c
 )