X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5e25d7f2c72f6378f21c0ca354ae0a23c6654df0..9889deb10c0b29c3c5a2ae25ac0c4b9e25e8334e:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 3125594f49..9c8456df00 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -119,6 +119,7 @@ set(SMPI_SRC
   src/smpi/smpi_mpi.c
   src/smpi/smpi_mpi_dt.c
   src/smpi/smpi_pmpi.c
+  src/smpi/smpi_replay.c
   )
 
 set(GRAS_RL_SRC
@@ -271,6 +272,42 @@ set(MSG_SRC
   src/msg/msg_vm.c
   )
 
+#* ****************************************************************************************** *#
+#* TUTORIAL: New API                                                                          *#
+
+set(MSG_SRC
+  ${MSG_SRC}
+  src/msg/msg_new_api.c
+  )
+set(EXTRA_DIST
+  ${EXTRA_DIST}
+  src/simix/smx_new_api_private.h
+  )
+set(SIMIX_SRC
+  ${SIMIX_SRC}
+  src/simix/smx_new_api.c
+)
+#* ****************************************************************************************** *#
+
+#* ****************************************************************************************** *#
+#* TUTORIAL: New Model                                                                        *#
+
+set(SURF_SRC
+  ${SURF_SRC}
+  src/surf/new_model.c
+  )
+set(EXTRA_DIST
+  ${EXTRA_DIST}
+  src/surf/new_model_private.c
+  )
+#* ****************************************************************************************** *#
+
+set(PLATFGEN_SRC
+  include/simgrid/platf_generator.h
+  src/surf/platf_generator.c
+  src/surf/platf_generator_private.h
+  )
+
 set(SIMDAG_SRC
   src/simdag/sd_daxloader.c
   src/simdag/sd_global.c
@@ -349,6 +386,7 @@ set(TRACING_SRC
   src/instr/instr_msg_task.c
   src/instr/instr_paje_containers.c
   src/instr/instr_paje_trace.c
+  src/instr/instr_paje_header.c
   src/instr/instr_paje_types.c
   src/instr/instr_paje_values.c
   src/instr/instr_private.h
@@ -371,6 +409,7 @@ set(JEDULE_SRC
 
 set(MC_SRC
   src/mc/mc_checkpoint.c
+  src/mc/mc_compare.c
   src/mc/mc_dpor.c
   src/mc/mc_global.c
   src/mc/mc_liveness.c
@@ -379,7 +418,7 @@ set(MC_SRC
   src/mc/mc_request.c
   src/mc/mc_state.c
   src/mc/memory_map.c
-  src/mc/test/compare_snapshot.c
+  src/mc/test/heap_comparison.c
   )
 
 set(headers_to_install
@@ -400,6 +439,7 @@ set(headers_to_install
   include/simdag/simdag.h
   include/simgrid/modelchecker.h
   include/simgrid/platf.h
+  include/simgrid/platf_generator.h
   include/simgrid/simix.h
   include/smpi/mpi.h
   include/smpi/mpif.h
@@ -508,6 +548,7 @@ set(simgrid_sources
   ${SIMDAG_SRC}
   ${SIMIX_SRC}
   ${SURF_SRC}
+  ${PLATFGEN_SRC}
   ${TRACING_SRC}
   ${XBT_SRC}
   )