A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
3125594
..
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}
)