try to fix MC now (sigh, CMake ...)

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index f5de1fa..5038c32 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -99,6 +99,10 @@ include examples/c/dht-kademlia/node.c
 include examples/c/dht-kademlia/node.h
 include examples/c/dht-kademlia/routing_table.c
 include examples/c/dht-kademlia/routing_table.h
+include examples/c/dht-pastry/dht-pastry.c
+include examples/c/dht-pastry/dht-pastry.tesh
+include examples/c/dht-pastry/dht-pastry_d.xml
+include examples/c/dht-pastry/generate.py
 include examples/c/energy-exec-ptask/energy-exec-ptask.c
 include examples/c/energy-exec-ptask/energy-exec-ptask.tesh
 include examples/c/energy-exec/energy-exec.c
@@ -249,31 +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/dht-pastry/dht-pastry.c
-include examples/deprecated/msg/dht-pastry/dht-pastry.tesh
-include examples/deprecated/msg/dht-pastry/dht-pastry_d.xml
-include examples/deprecated/msg/dht-pastry/generate.py
-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