Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / examples / smpi / smpi_s4u_masterworker / CMakeLists.txt

diff --git a/examples/smpi/smpi_s4u_masterworker/CMakeLists.txt b/examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
index 5ffc2c32e8f131816c5741ccf0f6ae5f43b12282..87e5dff81b66dc5763b30d6f66b8401914b8d46f 100644 (file)
--- a/examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
+++ b/examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
@@ -3,7 +3,7 @@ if(enable_smpi)
 
   add_executable       (masterworker_mailbox_smpi EXCLUDE_FROM_ALL masterworker_mailbox_smpi.cpp)
   target_link_libraries(masterworker_mailbox_smpi simgrid)
-  ADD_TESH_FACTORIES(smpi-s4u-masterworker "thread;ucontext;raw;boost" --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/smpi_s4u_masterworker --cd ${CMAKE_BINARY_DIR}/examples/smpi/smpi_s4u_masterworker ${CMAKE_HOME_DIRECTORY}/examples/smpi/smpi_s4u_masterworker/s4u_smpi.tesh)
+  ADD_TESH_FACTORIES(smpi-s4u-masterworker "*" --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/smpi_s4u_masterworker --cd ${CMAKE_BINARY_DIR}/examples/smpi/smpi_s4u_masterworker ${CMAKE_HOME_DIRECTORY}/examples/smpi/smpi_s4u_masterworker/s4u_smpi.tesh)
   add_dependencies(tests masterworker_mailbox_smpi)
 endif()