Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fc6e6d3988d95af4558819c370cadd445ce53b7c
[simgrid.git] / examples / deprecated / msg / mc / CMakeLists.txt
1 foreach (x centralized_mutex bugged2_liveness)
2   if(SIMGRID_HAVE_MC AND SIMGRID_HAVE_MSG)
3     add_executable       (${x} EXCLUDE_FROM_ALL ${x}.c)
4     target_link_libraries(${x} simgrid)
5     add_dependencies(tests ${x})
6   endif()
7   set(examples_src  ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}.c)
8   set(xml_files     ${xml_files}    ${CMAKE_CURRENT_SOURCE_DIR}/deploy_${x}.xml)
9 endforeach()
10
11 set(tesh_files   ${tesh_files}    ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.tesh                PARENT_SCOPE)
12 set(xml_files    ${xml_files}                                                                       PARENT_SCOPE)
13 set(examples_src ${examples_src}                                                                    PARENT_SCOPE)
14 set(bin_files    ${bin_files}     ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness              PARENT_SCOPE)
15