X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/18e10c8748bc9c49dadbb9f59d188614f5ac196f..9c4b046a0b348663606b63e1446aba8c77cb2b1a:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 9adbfd3954..5038c32cb5 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -253,27 +253,13 @@ include examples/deprecated/java/trace/pingpong/Receiver.java
 include examples/deprecated/java/trace/pingpong/Sender.java
 include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
 include examples/deprecated/msg/README.doc
-include examples/deprecated/msg/mc/bugged1.c
-include examples/deprecated/msg/mc/bugged1.tesh
-include examples/deprecated/msg/mc/bugged1_liveness.c
-include examples/deprecated/msg/mc/bugged1_liveness.tesh
-include examples/deprecated/msg/mc/bugged1_liveness_stack_cleaner
-include examples/deprecated/msg/mc/bugged1_liveness_visited.tesh
-include examples/deprecated/msg/mc/bugged2.c
-include examples/deprecated/msg/mc/bugged2.tesh
 include examples/deprecated/msg/mc/bugged2_liveness.c
 include examples/deprecated/msg/mc/bugged3.c
 include examples/deprecated/msg/mc/centralized_mutex.c
 include examples/deprecated/msg/mc/centralized_mutex.tesh
-include examples/deprecated/msg/mc/deploy_bugged1.xml
-include examples/deprecated/msg/mc/deploy_bugged1_liveness.xml
-include examples/deprecated/msg/mc/deploy_bugged1_liveness_visited.xml
-include examples/deprecated/msg/mc/deploy_bugged2.xml
 include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
 include examples/deprecated/msg/mc/deploy_bugged3.xml
 include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
-include examples/deprecated/msg/mc/platform.xml
-include examples/deprecated/msg/mc/promela_bugged1_liveness
 include examples/deprecated/msg/mc/promela_bugged2_liveness
 include examples/deprecated/msg/trace-categories/trace-categories.c
 include examples/deprecated/msg/trace-categories/trace-categories.tesh
@@ -468,7 +454,15 @@ include examples/s4u/io-file-system/s4u-io-file-system.cpp
 include examples/s4u/io-file-system/s4u-io-file-system.tesh
 include examples/s4u/maestro-set/s4u-maestro-set.cpp
 include examples/s4u/maestro-set/s4u-maestro-set.tesh
-include examples/s4u/mc-electric-fence/platform.xml
+include examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
+include examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp
+include examples/s4u/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp
+include examples/s4u/mc-bugged2/s4u-mc-bugged2.tesh
 include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.cpp
 include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
 include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
@@ -1897,6 +1891,7 @@ include examples/platforms/g5k.xml
 include examples/platforms/griffon.xml
 include examples/platforms/hosts_with_disks.xml
 include examples/platforms/meta_cluster.xml
+include examples/platforms/model_checker_platform.xml
 include examples/platforms/multicore_machine.xml
 include examples/platforms/ns3-big-cluster.xml
 include examples/platforms/onelink.xml