model-checker : move functions about snapshot comparison in a separate file mc_compare.c

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index d666ba9..8c2aab7 100644 (file)
--- 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_mpi.c
   src/smpi/smpi_mpi_dt.c
   src/smpi/smpi_pmpi.c

+  src/smpi/smpi_replay.c

   )
 
 set(GRAS_RL_SRC
   )
 
 set(GRAS_RL_SRC


@@ -271,6 +272,12 @@ set(MSG_SRC
   src/msg/msg_vm.c
   )
 
   src/msg/msg_vm.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
 set(SIMDAG_SRC
   src/simdag/sd_daxloader.c
   src/simdag/sd_global.c


@@ -349,6 +356,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_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
   src/instr/instr_paje_types.c
   src/instr/instr_paje_values.c
   src/instr/instr_private.h


@@ -371,6 +379,7 @@ set(JEDULE_SRC
 
 set(MC_SRC
   src/mc/mc_checkpoint.c
 
 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
   src/mc/mc_dpor.c
   src/mc/mc_global.c
   src/mc/mc_liveness.c


@@ -400,6 +409,7 @@ set(headers_to_install
   include/simdag/simdag.h
   include/simgrid/modelchecker.h
   include/simgrid/platf.h
   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
   include/simgrid/simix.h
   include/smpi/mpi.h
   include/smpi/mpif.h


@@ -508,6 +518,7 @@ set(simgrid_sources
   ${SIMDAG_SRC}
   ${SIMIX_SRC}
   ${SURF_SRC}
   ${SIMDAG_SRC}
   ${SIMIX_SRC}
   ${SURF_SRC}

+  ${PLATFGEN_SRC}

   ${TRACING_SRC}
   ${XBT_SRC}
   )
   ${TRACING_SRC}
   ${XBT_SRC}
   )


@@ -656,12 +667,14 @@ set(EXAMPLES_CMAKEFILES_TXT
   examples/lua/CMakeLists.txt
   examples/msg/CMakeLists.txt
   examples/msg/actions/CMakeLists.txt
   examples/lua/CMakeLists.txt
   examples/msg/CMakeLists.txt
   examples/msg/actions/CMakeLists.txt

+  examples/msg/bittorrent/CMakeLists.txt

   examples/msg/chord/CMakeLists.txt
   examples/msg/cloud/CMakeLists.txt
   examples/msg/gpu/CMakeLists.txt
   examples/msg/gtnets/CMakeLists.txt
   examples/msg/icomms/CMakeLists.txt
   examples/msg/io/CMakeLists.txt
   examples/msg/chord/CMakeLists.txt
   examples/msg/cloud/CMakeLists.txt
   examples/msg/gpu/CMakeLists.txt
   examples/msg/gtnets/CMakeLists.txt
   examples/msg/icomms/CMakeLists.txt
   examples/msg/io/CMakeLists.txt

+  examples/msg/kademlia/CMakeLists.txt

   examples/msg/masterslave/CMakeLists.txt
   examples/msg/mc/CMakeLists.txt
   examples/msg/migration/CMakeLists.txt
   examples/msg/masterslave/CMakeLists.txt
   examples/msg/mc/CMakeLists.txt
   examples/msg/migration/CMakeLists.txt


@@ -814,6 +827,9 @@ set(PLATFORMS_EXAMPLES
   examples/platforms/syscoord/median_p2psim.syscoord
   examples/platforms/syscoord/median_p2psim.xml
   examples/platforms/vivaldi.xml
   examples/platforms/syscoord/median_p2psim.syscoord
   examples/platforms/syscoord/median_p2psim.xml
   examples/platforms/vivaldi.xml

+  examples/platforms/routing_cluster.xml
+  examples/platforms/meta_cluster.xml
+  examples/platforms/two_peers.xml

   )
 
 set(generated_src_files
   )
 
 set(generated_src_files