Silly workaround for coverage build with gcc-10.

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index f5de1fa6d723e7ec2d598d814c32a7b950d6faff..05520f4c760fb4183b6abdfa47f25baedc04b65c 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
@@ -120,6 +124,8 @@ include examples/c/io-disk-raw/io-disk-raw.tesh
 include examples/c/io-file-remote/io-file-remote.c
 include examples/c/io-file-remote/io-file-remote.tesh
 include examples/c/io-file-remote/io-file-remote_d.xml
+include examples/c/io-file-system/io-file-system.c
+include examples/c/io-file-system/io-file-system.tesh
 include examples/c/platform-failures/platform-failures.c
 include examples/c/platform-failures/platform-failures.tesh
 include examples/c/platform-properties/platform-properties.c
@@ -249,31 +255,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 +456,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
@@ -664,12 +660,8 @@ include teshsuite/mc/random-bug/random-bug-nocrash.tesh
 include teshsuite/mc/random-bug/random-bug-replay.tesh
 include teshsuite/mc/random-bug/random-bug.cpp
 include teshsuite/mc/random-bug/random-bug.tesh
-include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.c
-include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.tesh
 include teshsuite/msg/get_sender/get_sender.c
 include teshsuite/msg/get_sender/get_sender.tesh
-include teshsuite/msg/io-file/io-file.c
-include teshsuite/msg/io-file/io-file.tesh
 include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.c
 include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.tesh
 include teshsuite/msg/task_listen_from/task_listen_from.c
@@ -698,6 +690,8 @@ include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.cpp
 include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.tesh
 include teshsuite/s4u/cloud-sharing/cloud-sharing.cpp
 include teshsuite/s4u/cloud-sharing/cloud-sharing.tesh
+include teshsuite/s4u/cloud-two-execs/cloud-two-execs.cpp
+include teshsuite/s4u/cloud-two-execs/cloud-two-execs.tesh
 include teshsuite/s4u/comm-pt2pt/comm-pt2pt.cpp
 include teshsuite/s4u/concurrent_rw/concurrent_rw.cpp
 include teshsuite/s4u/concurrent_rw/concurrent_rw.tesh
@@ -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