Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : non-progressive cycle detection (enabled with --cfg=model-check/termi...
[simgrid.git] / examples / smpi / CMakeLists.txt
1 cmake_minimum_required(VERSION 2.6)
2
3 if(enable_smpi)
4   if(WIN32)
5     set(CMAKE_C_FLAGS "-include ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_main.h")
6   else()
7     set(CMAKE_C_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpicc")
8   endif()
9
10   set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
11
12   include_directories(BEFORE "${CMAKE_HOME_DIRECTORY}/include/smpi")
13   file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/mc/")
14
15
16   add_executable(bcbench bcbench.c)
17   add_executable(mvmul mvmul.c)
18   add_executable(smpi_traced tracing/smpi_traced.c)
19   add_executable(smpi_traced_simple tracing/smpi_traced_simple.c)
20   add_executable(smpi_replay replay/replay.c)
21
22   target_link_libraries(bcbench simgrid)
23   target_link_libraries(mvmul simgrid)
24   target_link_libraries(smpi_traced simgrid)
25   target_link_libraries(smpi_traced_simple simgrid)
26   target_link_libraries(smpi_replay simgrid)
27
28   if(HAVE_MC)
29     add_executable(smpi_bugged1 mc/bugged1.c)
30     add_executable(smpi_bugged2 mc/bugged2.c)
31     add_executable(smpi_bugged1_liveness mc/bugged1_liveness.c)
32     add_executable(smpi_send_deterministic mc/send_deterministic.c)
33     add_executable(smpi_non_deterministic mc/non_deterministic.c)
34     add_executable(smpi_mutual_exclusion mc/mutual_exclusion.c)
35     add_executable(smpi_non_termination1 mc/non_termination1.c)
36     add_executable(smpi_non_termination2 mc/non_termination2.c)
37     add_executable(smpi_non_termination3 mc/non_termination3.c)
38     add_executable(smpi_non_termination4 mc/non_termination4.c)
39
40     target_link_libraries(smpi_bugged1 simgrid)
41     target_link_libraries(smpi_bugged2 simgrid)
42     target_link_libraries(smpi_bugged1_liveness simgrid)
43     target_link_libraries(smpi_send_deterministic simgrid)
44     target_link_libraries(smpi_non_deterministic simgrid)
45     target_link_libraries(smpi_mutual_exclusion simgrid)
46     target_link_libraries(smpi_non_termination1 simgrid)
47     target_link_libraries(smpi_non_termination2 simgrid)
48     target_link_libraries(smpi_non_termination3 simgrid)
49     target_link_libraries(smpi_non_termination4 simgrid)
50     
51     set_target_properties(smpi_bugged1 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
52     set_target_properties(smpi_bugged2 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
53     set_target_properties(smpi_bugged1_liveness PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
54     set_target_properties(smpi_send_deterministic PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
55     set_target_properties(smpi_non_deterministic PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
56     set_target_properties(smpi_mutual_exclusion PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
57     set_target_properties(smpi_non_termination1 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
58     set_target_properties(smpi_non_termination2 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
59     set_target_properties(smpi_non_termination3 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
60     set_target_properties(smpi_non_termination4 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc")
61     
62   endif()
63   
64 endif()
65
66 set(tesh_files
67   ${tesh_files}
68   ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.tesh
69   ${CMAKE_CURRENT_SOURCE_DIR}/replay/smpi_replay.tesh
70   PARENT_SCOPE
71   )
72 set(xml_files
73   ${xml_files}
74   PARENT_SCOPE
75   )
76 set(examples_src
77   ${examples_src}
78   ${CMAKE_CURRENT_SOURCE_DIR}/mvmul.c
79   ${CMAKE_CURRENT_SOURCE_DIR}/bcbench.c
80   ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.c
81   ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.c
82   ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced_simple.c
83   ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged2.c
84   ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged1.c
85   ${CMAKE_CURRENT_SOURCE_DIR}/mc/bugged1_liveness.c
86   ${CMAKE_CURRENT_SOURCE_DIR}/mc/send_deterministic.c
87   ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_deterministic.c
88   ${CMAKE_CURRENT_SOURCE_DIR}/mc/mutual_exclusion.c
89   ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination1.c
90   ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination2.c
91   ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination3.c
92   ${CMAKE_CURRENT_SOURCE_DIR}/mc/non_termination4.c
93   PARENT_SCOPE
94   )
95 set(bin_files
96   ${bin_files}
97   ${CMAKE_CURRENT_SOURCE_DIR}/hostfile
98   ${CMAKE_CURRENT_SOURCE_DIR}/mc/promela_bugged1_liveness
99   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1_liveness
100   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged1
101   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_bugged2
102   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_send_deterministic
103   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_non_deterministic
104   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_mutual_exclusion
105   ${CMAKE_CURRENT_SOURCE_DIR}/mc/hostfile_non_termination
106   PARENT_SCOPE
107   )
108 set(txt_files
109   ${txt_files}
110   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions0.txt
111   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions1.txt
112   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allReduce.txt
113   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_allgatherv.txt
114   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoall.txt
115   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_alltoallv.txt
116   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_barrier.txt
117   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast.txt
118   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_bcast_reduce_datatypes.txt
119   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_gather.txt
120   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_reducescatter.txt
121   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_waitall.txt
122   ${CMAKE_CURRENT_SOURCE_DIR}/replay/actions_with_isend.txt
123   ${CMAKE_CURRENT_SOURCE_DIR}/replay/split_traces
124   PARENT_SCOPE
125   )