src/include/xbt/coverage.h
src/include/xbt/parmap.hpp
src/include/xbt/mmalloc.h
+ src/include/xbt/xbt_modinter.h
src/include/catch.hpp
src/include/xxhash.hpp
src/mc/mc_mmu.hpp
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
src/xbt/xbt_virtu.cpp
- src/xbt_modinter.h
)
if(HAVE_MMALLOC)
src/kernel/resource/Action.cpp
src/kernel/resource/Model.cpp
- src/kernel/resource/Resource.cpp
src/kernel/resource/DiskImpl.cpp
src/kernel/resource/DiskImpl.hpp
src/kernel/activity/SynchroRaw.hpp
src/kernel/actor/ActorImpl.cpp
src/kernel/actor/ActorImpl.hpp
+ src/kernel/actor/SimcallObserver.cpp
+ src/kernel/actor/SimcallObserver.hpp
${SIMIX_GENERATED_SRC}
)
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
- src/mc/checker/SimcallObserver.cpp
- src/mc/checker/SimcallObserver.hpp
)
set(MC_SRC
src/mc/mc_ignore.hpp
src/mc/mc_record.cpp
src/mc/mc_private.hpp
- src/mc/mc_request.hpp
- src/mc/mc_request.cpp
src/mc/mc_safety.hpp
src/mc/mc_state.hpp
src/mc/mc_state.cpp
include/simgrid/forward.h
include/simgrid/simix.h
include/simgrid/simix.hpp
- include/simgrid/simix/blocking_simcall.hpp
include/simgrid/kernel/future.hpp
include/simgrid/disk.h
include/simgrid/host.h
include/xbt/signal.hpp
include/xbt/str.h
include/xbt/string.hpp
- include/xbt/synchro.h
include/xbt/sysdep.h
include/xbt/system_error.hpp
include/xbt/utility.hpp
endif()
set(DOC_SOURCES
- doc/Doxyfile.in
- doc/Layout.xml
-
doc/doxygen/FAQ.doc
doc/doxygen/inside.doc
doc/doxygen/inside_tests.doc
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
)
set(bin_files