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}/bugged2_liveness.tesh
  12                                   ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.tesh                PARENT_SCOPE)
  13 set(xml_files    ${xml_files}                                                                       PARENT_SCOPE)
  14 set(examples_src ${examples_src}                                                                    PARENT_SCOPE)
  15 set(bin_files    ${bin_files}     ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness              PARENT_SCOPE)
  16
  17 #if(SIMGRID_HAVE_MC)
  18 #  IF(HAVE_UCONTEXT_CONTEXTS AND SIMGRID_PROCESSOR_x86_64) # liveness model-checking works only on 64bits (for now ...)
  19 #    ADD_TESH(mc-bugged2-liveness-ucontext     --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}
  20 #                                              --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
  21 #                                              --cd ${CMAKE_HOME_DIRECTORY}/examples/deprecated/msg/mc
  22 #                                              bugged2-liveness.tesh)
  23 #  ENDIF()
  24 #ENDIF()