X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1d8f0c4dd4000a44d53f4ba97bd2a657deb18213..e0300cbd373040c590de77e64cc6c6e5fc3c28bb:/buildtools/Cmake/DefinePackages.cmake diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index ad84be8bac..ff3495096c 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -7,6 +7,7 @@ set(EXTRA_DIST src/include/mc/mc.h src/mc/mc_mmu.h src/mc/mc_page_store.h + src/mc/mc_record.h src/include/simgrid/platf_interface.h src/include/simgrid/sg_config.h src/include/smpi/smpi_interface.h @@ -23,6 +24,7 @@ set(EXTRA_DIST src/msg/msg_mailbox.h src/msg/msg_private.h src/portable.h + src/probes.tp src/simdag/dax.dtd src/simdag/dax_dtd.c src/simdag/dax_dtd.h @@ -121,13 +123,13 @@ set(EXTRA_DIST src/xbt/mmalloc/mmprivate.h src/xbt/mmalloc/mmtrace.awk src/xbt/mmalloc/mrealloc.c + src/xbt/probes.h src/xbt/setset_private.h src/xbt/win32_ucontext.c tools/tesh/run_context.h tools/tesh/tesh.h tools/tesh/generate_tesh - examples/smpi/mc/non_deterministic.tesh - examples/smpi/mc/send_deterministic.tesh + examples/smpi/mc/only_send_deterministic.tesh ) set(SMPI_SRC @@ -581,36 +583,79 @@ set(JEDULE_SRC src/instr/jedule/jedule_sd_binding.c ) +set(MC_SRC_BASE + src/mc/mc_base.c + src/mc/mc_base.h + src/mc/mc_record.h + src/mc/mc_record.c + src/mc/mc_config.c + src/mc/mc_global.c + ) + set(MC_SRC + src/mc/mc_address_space.h + src/mc/mc_address_space.c + src/mc/mc_forward.h + src/mc/mc_process.h + src/mc/mc_process.c + src/mc/mc_unw.h + src/mc/mc_unw.c + src/mc/mc_unw_vmread.c + src/mc/mc_mmalloc.h + src/mc/mc_model_checker.h + src/mc/mc_model_checker.c + src/mc/mc_object_info.h + src/mc/mc_object_info.c src/mc/mc_checkpoint.c + src/mc/mc_snapshot.h src/mc/mc_snapshot.c + src/mc/mc_page_store.h src/mc/mc_page_store.cpp src/mc/mc_page_snapshot.cpp + src/mc/mc_comm_pattern.h + src/mc/mc_comm_pattern.c src/mc/mc_comm_determinism.c src/mc/mc_compare.cpp - src/mc/mc_config.c src/mc/mc_diff.c src/mc/mc_dwarf.c src/mc/mc_dwarf_attrnames.h src/mc/mc_dwarf_expression.c src/mc/mc_dwarf_tagnames.h - src/mc/mc_global.c src/mc/mc_hash.c src/mc/mc_ignore.c src/mc/mc_interface.h + src/mc/mc_liveness.h + src/mc/mc_location.h src/mc/mc_liveness.c + src/mc/mc_record.c src/mc/mc_member.c src/mc/mc_memory.c src/mc/mc_pair.c src/mc/mc_private.h + src/mc/mc_request.h src/mc/mc_request.c + src/mc/mc_safety.h src/mc/mc_safety.c src/mc/mc_set.cpp + src/mc/mc_state.h src/mc/mc_state.c src/mc/mc_visited.c + src/mc/mc_memory_map.h src/mc/memory_map.c + src/mc/mc_client.c + src/mc/mc_client_api.c + src/mc/mc_client.h + src/mc/mc_protocol.h + src/mc/mc_protocol.c + src/mc/mc_server.cpp + src/mc/mc_server.h + src/mc/mc_smx.h + src/mc/mc_smx.c ) +set(MC_SIMGRID_MC_SRC + src/mc/simgrid_mc.cpp) + set(headers_to_install include/instr/instr.h include/msg/datatypes.h @@ -758,6 +803,11 @@ else() ) endif() +set(simgrid_sources + ${simgrid_sources} + ${MC_SRC_BASE} + ) + if(HAVE_MC) set(simgrid_sources ${simgrid_sources} @@ -967,7 +1017,7 @@ set(EXAMPLES_CMAKEFILES_TXT examples/msg/chainsend/CMakeLists.txt examples/msg/chord/CMakeLists.txt examples/msg/cloud/CMakeLists.txt - examples/msg/energy/e1/CMakeLists.txt + examples/msg/energy/pstate/CMakeLists.txt examples/msg/energy/e2/CMakeLists.txt examples/msg/energy/e3/CMakeLists.txt examples/msg/exception/CMakeLists.txt @@ -1020,6 +1070,7 @@ set(TESHSUITE_CMAKEFILES_TXT teshsuite/mc/CMakeLists.txt teshsuite/mc/dwarf/CMakeLists.txt teshsuite/mc/dwarf_expression/CMakeLists.txt + teshsuite/mc/replay/CMakeLists.txt teshsuite/msg/CMakeLists.txt teshsuite/msg/get_sender/CMakeLists.txt teshsuite/msg/host_on_off/CMakeLists.txt @@ -1066,6 +1117,7 @@ set(TESHSUITE_CMAKEFILES_TXT teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt # teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt + teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt @@ -1076,11 +1128,13 @@ set(TESHSUITE_CMAKEFILES_TXT teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt + teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt teshsuite/smpi/mpich3-test/group/CMakeLists.txt + teshsuite/smpi/mpich3-test/info/CMakeLists.txt teshsuite/smpi/mpich3-test/init/CMakeLists.txt teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt teshsuite/smpi/mpich3-test/topo/CMakeLists.txt @@ -1166,6 +1220,13 @@ set(CMAKE_SOURCE_FILES buildtools/Cmake/test_prog/prog_stacksetup.c buildtools/Cmake/test_prog/prog_thread_storage.c buildtools/Cmake/test_prog/prog_vsnprintf.c + tools/stack-cleaner/as + tools/stack-cleaner/cc + tools/stack-cleaner/c++ + tools/stack-cleaner/fortran + tools/stack-cleaner/clean-stack-filter + tools/stack-cleaner/compiler-wrapper + tools/stack-cleaner/README ) set(PLATFORMS_EXAMPLES @@ -1233,6 +1294,23 @@ set(generated_src_files src/xbt/automaton/parserPromela.tab.hacc ) +if(enable_ust) + set(simgrid_sources ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.c ${simgrid_sources}) + ADD_CUSTOM_COMMAND( + OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.c + OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.h + COMMAND lttng-gen-tp -o simgrid_ust.c -o simgrid_ust.h ${CMAKE_CURRENT_SOURCE_DIR}/src/probes.tp + WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/src/ + DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/src/probes.tp + ) + ADD_CUSTOM_TARGET(simgrid_ust + DEPENDS + ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.c + ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.h + ) + set(generated_src_files ${CMAKE_CURRENT_BINARY_DIR}/src/simgrid_ust.c ${generated_src_files}) +endif() + foreach(file ${generated_src_files}) set_source_files_properties(${file} PROPERTIES GENERATED true) endforeach(file ${generated_src_files})