X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c7118dec5b48156de26672adc4edefd129463718..585a65d8e2c5bed10f20cd84c5c1cb59ef6adc8a:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 1edd9e23de..4a36a98ea9 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -345,8 +345,9 @@ include examples/cpp/network-ns3/crosstraffic_d.xml include examples/cpp/network-ns3/dogbone_d.xml include examples/cpp/network-ns3/one_cluster_d.xml include examples/cpp/network-ns3/onelink_d.xml +include examples/cpp/network-ns3/s4u-network-ns3-notime.tesh +include examples/cpp/network-ns3/s4u-network-ns3-timed.tesh include examples/cpp/network-ns3/s4u-network-ns3.cpp -include examples/cpp/network-ns3/s4u-network-ns3.tesh include examples/cpp/network-wifi/s4u-network-wifi.cpp include examples/cpp/network-wifi/s4u-network-wifi.tesh include examples/cpp/platform-comm-serialize/s4u-platform-comm-serialize.cpp @@ -2166,8 +2167,9 @@ include src/mc/api/RemoteApp.cpp include src/mc/api/RemoteApp.hpp include src/mc/api/State.cpp include src/mc/api/State.hpp -include src/mc/api/guide/BasicGuide.hpp -include src/mc/api/guide/GuidedState.hpp +include src/mc/api/strategy/BasicStrategy.hpp +include src/mc/api/strategy/Strategy.hpp +include src/mc/api/strategy/WaitStrategy.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp @@ -2224,6 +2226,7 @@ include src/mc/mc_base.hpp include src/mc/mc_client_api.cpp include src/mc/mc_config.cpp include src/mc/mc_config.hpp +include src/mc/mc_environ.h include src/mc/mc_exit.hpp include src/mc/mc_forward.hpp include src/mc/mc_global.cpp @@ -2626,6 +2629,7 @@ include tools/cmake/scripts/my_valgrind.pl include tools/cmake/scripts/update_tesh.pl include tools/cmake/test_prog/prog_asan.cpp include tools/cmake/test_prog/prog_makecontext.c +include tools/cmake/test_prog/prog_ns3.cpp include tools/cmake/test_prog/prog_stackgrowth.c include tools/cmake/test_prog/prog_stacksetup.c include tools/cmake/test_prog/prog_tsan.cpp