+foreach (example mc-bugged1 mc-bugged2 mc-failing-assert mc-electric-fence)
+ if(NOT SIMGRID_HAVE_MC)
+ set(_${example}_disable 1)
+ endif()
+ set(_${example}_factories "ucontext;raw;boost")
+endforeach()
+
+set(_mc-bugged1-liveness_disable 1)
+if(SIMGRID_HAVE_MC)
+ add_executable (s4u-mc-bugged1-liveness EXCLUDE_FROM_ALL mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
+ target_link_libraries(s4u-mc-bugged1-liveness simgrid)
+ set_target_properties(s4u-mc-bugged1-liveness PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/mc-bugged1-liveness)
+ add_dependencies(tests s4u-mc-bugged1-liveness)
+ set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
+ set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh)
+
+ if(HAVE_C_STACK_CLEANER)
+ add_executable (s4u-mc-bugged1-liveness-cleaner-on EXCLUDE_FROM_ALL s4u-mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
+ target_link_libraries(s4u-mc-bugged1-liveness-cleaner-on simgrid)
+ set_target_properties(s4u-mc-bugged1-liveness-cleaner-on PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fstack-cleaner")
+ add_dependencies(tests s4u-mc-bugged1-liveness-cleaner-on)
+
+ add_executable (s4u-mc-bugged1-liveness-cleaner-off EXCLUDE_FROM_ALL s4u-mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
+ target_link_libraries(s4u-mc-bugged1-liveness-cleaner-off simgrid)
+ set_target_properties(s4u-mc-bugged1-liveness-cleaner-off PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner")
+ add_dependencies(tests s4u-mc-bugged1-liveness-cleaner-off)
+ endif()
+
+endif()
+
+if(SIMGRID_HAVE_NS3)
+ add_executable (s4u-network-ns3 EXCLUDE_FROM_ALL network-ns3/s4u-network-ns3.cpp)
+ target_link_libraries(s4u-network-ns3 simgrid)
+ set_target_properties(s4u-network-ns3 PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/network-ns3)
+ add_dependencies(tests s4u-network-ns3)
+endif()
+
+# Deal with each example
+