X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/508e8dbd523402cfe503653db9d3e8b007ea9f17..2911b8122231fb6dcda07110d191b4b16dd42e36:/examples/s4u/CMakeLists.txt diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt index 3d0652da63..e6d1930592 100644 --- a/examples/s4u/CMakeLists.txt +++ b/examples/s4u/CMakeLists.txt @@ -2,20 +2,22 @@ # Regular examples: with only one source and tested with all factories ###################################################################### -foreach (example actor-create actor-daemon actor-join actor-kill +foreach (example actor-create actor-daemon actor-exiting actor-join actor-kill actor-lifetime actor-migrate actor-suspend actor-yield app-chainsend app-pingpong app-token-ring async-ready async-wait async-waitany async-waitall async-waituntil cloud-capping cloud-migration cloud-simple energy-exec energy-boot energy-link energy-vm engine-filtering - exec-async exec-basic exec-dvfs exec-monitor exec-ptask exec-remote + exec-async exec-basic exec-dvfs exec-ptask exec-remote exec-waitany io-async io-file-system io-file-remote io-storage-raw - platform-failures platform-properties plugin-hostload + platform-failures platform-profile platform-properties + plugin-hostload replay-comm replay-storage routing-get-clusters synchro-barrier synchro-mutex synchro-semaphore) - add_executable (s4u-${example} ${example}/s4u-${example}.cpp) + add_executable (s4u-${example} EXCLUDE_FROM_ALL ${example}/s4u-${example}.cpp) + add_dependencies (tests s4u-${example}) target_link_libraries(s4u-${example} simgrid) set_target_properties(s4u-${example} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${example}) @@ -29,35 +31,59 @@ foreach (example actor-create actor-daemon actor-join actor-kill ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh) endforeach() -set_tesh_properties(s4u-platform-failures "thread;ucontext;raw;boost" WILL_FAIL TRUE) # FIXME + +# Model-checking examples: with only one source and tested with all factories but thread +###################################################################### + +foreach (example mc-failing-assert) + if(SIMGRID_HAVE_MC) + add_executable (s4u-${example} EXCLUDE_FROM_ALL ${example}/s4u-${example}.cpp) + add_dependencies (tests s4u-${example}) + target_link_libraries(s4u-${example} simgrid) + set_target_properties(s4u-${example} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${example}) + + + ADD_TESH_FACTORIES(s4u-${example} "ucontext;raw;boost" + --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/${example} + --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms + --cd ${CMAKE_CURRENT_SOURCE_DIR}/${example} + ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh) + endif() + + set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.tesh) + set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.cpp) +endforeach() + # Multi-files examples ###################### # MASTERWORKERS EXAMPLE foreach(variant fun class) - add_executable (s4u-app-masterworkers-${variant} app-masterworkers/s4u-app-masterworkers-${variant}.cpp) - target_link_libraries(s4u-app-masterworkers-${variant} simgrid) - set_target_properties(s4u-app-masterworkers-${variant} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/app-masterworkers) + add_executable (s4u-app-masterworkers-${variant} EXCLUDE_FROM_ALL app-masterworkers/s4u-app-masterworkers-${variant}.cpp) + target_link_libraries(s4u-app-masterworkers-${variant} simgrid) + set_target_properties(s4u-app-masterworkers-${variant} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/app-masterworkers) + add_dependencies(tests s4u-app-masterworkers-${variant}) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/app-masterworkers/s4u-app-masterworkers-${variant}.cpp) endforeach() set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/app-masterworkers/s4u-app-masterworkers.tesh) # CHORD EXAMPLE -add_executable (s4u-dht-chord dht-chord/s4u-dht-chord.cpp dht-chord/s4u-dht-chord-node.cpp) +add_executable (s4u-dht-chord EXCLUDE_FROM_ALL dht-chord/s4u-dht-chord.cpp dht-chord/s4u-dht-chord-node.cpp) target_link_libraries(s4u-dht-chord simgrid) set_target_properties(s4u-dht-chord PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/dht-chord) -foreach (file s4u-dht-chord s4u-dht-chord-node) - set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/dht-chord/${file}.cpp) +add_dependencies(tests s4u-dht-chord) +foreach (file s4u-dht-chord.cpp s4u-dht-chord-node.cpp s4u-dht-chord.hpp) + set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/dht-chord/${file}) endforeach() -set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/dht-chord/s4u-dht-chord.hpp) # KADEMLIA EXAMPLE -add_executable (s4u-dht-kademlia dht-kademlia/s4u-dht-kademlia.cpp dht-kademlia/node.cpp +add_executable (s4u-dht-kademlia EXCLUDE_FROM_ALL dht-kademlia/s4u-dht-kademlia.cpp dht-kademlia/node.cpp dht-kademlia/routing_table.cpp dht-kademlia/answer.cpp) target_link_libraries(s4u-dht-kademlia simgrid) set_target_properties(s4u-dht-kademlia PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/dht-kademlia) +add_dependencies(tests s4u-dht-kademlia) foreach (file answer routing_table node s4u-dht-kademlia) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/dht-kademlia/${file}.cpp ${CMAKE_CURRENT_SOURCE_DIR}/dht-kademlia/${file}.hpp) @@ -65,10 +91,11 @@ endforeach() set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/dht-kademlia/message.hpp) # BITTORRENT EXAMPLE -add_executable (s4u-bittorrent app-bittorrent/s4u-bittorrent.cpp app-bittorrent/s4u-peer.cpp +add_executable (s4u-bittorrent EXCLUDE_FROM_ALL app-bittorrent/s4u-bittorrent.cpp app-bittorrent/s4u-peer.cpp app-bittorrent/s4u-tracker.cpp) target_link_libraries(s4u-bittorrent simgrid) set_target_properties(s4u-bittorrent PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/app-bittorrent) +add_dependencies(tests s4u-bittorrent) foreach (file s4u-bittorrent s4u-peer s4u-tracker) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/app-bittorrent/${file}.cpp ${CMAKE_CURRENT_SOURCE_DIR}/app-bittorrent/${file}.hpp) @@ -88,9 +115,10 @@ endforeach() ################################## foreach (example trace-platform) - add_executable (s4u-${example} ${example}/s4u-${example}.cpp) + add_executable (s4u-${example} EXCLUDE_FROM_ALL ${example}/s4u-${example}.cpp) target_link_libraries(s4u-${example} simgrid) set_target_properties(s4u-${example} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${example}) + add_dependencies(tests s4u-${example}) set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.tesh) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.cpp) @@ -106,6 +134,26 @@ if (NOT enable_memcheck AND NOT WIN32) ${CMAKE_CURRENT_SOURCE_DIR}/app-pingpong/simix-breakpoint.tesh) endif() +# Examples accepting only thread factories +################################## +foreach (example maestro-set) + add_executable (s4u-${example} EXCLUDE_FROM_ALL ${example}/s4u-${example}.cpp) + target_link_libraries(s4u-${example} simgrid) + set_target_properties(s4u-${example} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${example}) + add_dependencies(tests s4u-${example}) + + set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.tesh) + set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${example}/s4u-${example}.cpp) + + if(NOT WIN32) + ADD_TESH_FACTORIES(s4u-${example} "thread" --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/${example} + --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms + ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh) + else() + message("Test maestro-set disabled on windows: this feature is not working") + endif() +endforeach() + # Add all extra files to the archive #################################### @@ -123,7 +171,6 @@ set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/actor-create/s4u-a ${CMAKE_CURRENT_SOURCE_DIR}/async-wait/s4u-async-wait_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/async-waitany/s4u-async-waitany_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/async-waitall/s4u-async-waitall_d.xml - ${CMAKE_CURRENT_SOURCE_DIR}/async-wait/s4u-async-wait_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/async-ready/s4u-async-ready_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/async-waituntil/s4u-async-waituntil_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/dht-chord/s4u-dht-chord_d.xml @@ -131,7 +178,7 @@ set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/actor-create/s4u-a ${CMAKE_CURRENT_SOURCE_DIR}/energy-boot/platform_boot.xml ${CMAKE_CURRENT_SOURCE_DIR}/io-file-remote/s4u-io-file-remote_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/platform-properties/s4u-platform-properties_d.xml - ${CMAKE_CURRENT_SOURCE_DIR}/platform-failures/s4u-masterworker-failures_d.xml + ${CMAKE_CURRENT_SOURCE_DIR}/platform-failures/s4u-platform-failures_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm-split_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/replay-storage/s4u-replay-storage_d.xml