)
set(XBT_SRC
- src/xbt/RngStream.c
src/xbt/automaton/automaton.c
src/xbt/automaton/automatonparse_promela.c
src/xbt/backtrace.cpp
src/xbt/xbt_os_time.c
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
- src/xbt/xbt_virtu.c
+ src/xbt/xbt_virtu.cpp
src/xbt_modinter.h
)
src/bindings/java/jmsg_host.h
src/bindings/java/jmsg_process.cpp
src/bindings/java/jmsg_process.h
- src/bindings/java/jmsg_rngstream.cpp
- src/bindings/java/jmsg_rngstream.h
src/bindings/java/jmsg_synchro.cpp
src/bindings/java/jmsg_synchro.h
src/bindings/java/jmsg_task.cpp
src/bindings/java/org/simgrid/msg/Process.java
src/bindings/java/org/simgrid/msg/ProcessKilledError.java
src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
- src/bindings/java/org/simgrid/msg/RngStream.java
src/bindings/java/org/simgrid/msg/Semaphore.java
src/bindings/java/org/simgrid/msg/Storage.java
src/bindings/java/org/simgrid/msg/StorageNotFoundException.java
set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
set(headers_to_install
- include/simgrid_config.h
include/simgrid/actor.h
include/simgrid/barrier.h
include/simgrid/engine.h
include/xbt/parmap.h
include/xbt/range.hpp
include/xbt/replay.hpp
- include/xbt/RngStream.h
include/xbt/signal.hpp
include/xbt/str.h
include/xbt/string.hpp
docs/source/platform.rst
docs/source/platform_howtos.rst
docs/source/Platform_Examples.rst
+ docs/source/Plugins.rst
docs/source/XML_Reference.rst
docs/source/Tutorial_Algorithms.rst