X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/877c773a694a049fc8b926ac126ad776ab257f3d..b49a7ddacb8c5a62148a16e438434b001d1de893:/examples/smpi/CMakeLists.txt

diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt
index 9f1788a0e4..cd06554358 100644
--- a/examples/smpi/CMakeLists.txt
+++ b/examples/smpi/CMakeLists.txt
@@ -20,61 +20,46 @@ if(enable_smpi)
   target_link_libraries(smpi_replay        simgrid)
 
   if(HAVE_MC)
-    foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1 non_termination2 non_termination3 non_termination4)
+    foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1 
+              non_termination2 non_termination3 non_termination4)
       add_executable       (smpi_${x} mc/${x}.c)
       target_link_libraries(smpi_${x} simgrid)
       set_target_properties(smpi_${x} PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
-    endforeach()    
+      set(examples_src  ${examples_src} mc/${x}.c)
+    endforeach()
+    ADD_TESH(smpi-mc-only-send-determinism -setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/mc --cd ${CMAKE_BINARY_DIR}/examples/smpi/mc ${CMAKE_HOME_DIRECTORY}/examples/smpi/mc/only_send_deterministic.tesh)
   endif()
+
+ADD_TESH(smpi-tracing-ptp   --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi --cd ${CMAKE_BINARY_DIR}/examples/smpi ${CMAKE_HOME_DIRECTORY}/examples/smpi/tracing/smpi_traced.tesh)
+ADD_TESH(smpi-replay-simple --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi --cd ${CMAKE_BINARY_DIR}/examples/smpi ${CMAKE_HOME_DIRECTORY}/examples/smpi/replay/smpi_replay.tesh)
 endif()
 
-set(tesh_files
-  ${tesh_files}
-  ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.tesh
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/smpi_replay.tesh
-  PARENT_SCOPE)
-set(examples_src
-  ${examples_src}
-  ${CMAKE_CURRENT_SOURCE_DIR}/mvmul.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/bcbench.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced_simple.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged2.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged1.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged1_liveness.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/only_send_deterministic.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/mutual_exclusion.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination1.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination2.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination3.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination4.c
-  PARENT_SCOPE)
-set(bin_files
-  ${bin_files}
-  ${CMAKE_CURRENT_SOURCE_DIR}/hostfile
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/promela_bugged1_liveness
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1_liveness
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged2
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_only_send_deterministic
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_mutual_exclusion
-  ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_non_termination
-  PARENT_SCOPE)
-set(txt_files
-  ${txt_files}
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions0.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions1.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allReduce.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allgatherv.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoall.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoallv.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_barrier.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast_reduce_datatypes.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_gather.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_reducescatter.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_waitall.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_with_isend.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/replay/split_traces
-  PARENT_SCOPE)
+set(tesh_files    ${tesh_files}    ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.tesh
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/smpi_replay.tesh                     PARENT_SCOPE)
+set(examples_src  ${examples_src}  ${CMAKE_CURRENT_SOURCE_DIR}/mvmul.c
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/bcbench.c
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.c
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.c
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced_simple.c                PARENT_SCOPE)
+set(bin_files     ${bin_files}     ${CMAKE_CURRENT_SOURCE_DIR}/hostfile
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/promela_bugged1_liveness
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1_liveness
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged2
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_only_send_deterministic
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_mutual_exclusion
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_non_termination                 PARENT_SCOPE)
+set(txt_files     ${txt_files}     ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions0.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions1.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allReduce.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allgatherv.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoall.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoallv.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_barrier.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast_reduce_datatypes.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_gather.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_reducescatter.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_waitall.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_with_isend.txt
+                                   ${CMAKE_CURRENT_SOURCE_DIR}/replay/split_traces                         PARENT_SCOPE)