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})
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)
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)