add_dependencies(simgrid maintainer_files)
if(enable_model-checking)
+ add_custom_target(tests-mc COMMENT "Recompiling the MC tests and tools.")
+ add_dependencies(tests tests-mc)
+
add_executable(simgrid-mc ${MC_SIMGRID_MC_SRC})
target_link_libraries(simgrid-mc simgrid)
set_target_properties(simgrid-mc
APPEND PROPERTY INCLUDE_DIRECTORIES "${INTERNAL_INCLUDES}")
install(TARGETS simgrid-mc # install that binary without breaking the rpath on Mac
RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}/)
- add_dependencies(tests simgrid-mc)
+ add_dependencies(tests-mc simgrid-mc)
endif()
SET(SIMGRID_DEP "${SIMGRID_DEP} -lflang")
if("${CMAKE_SYSTEM}" MATCHES "FreeBSD")
set(SIMGRID_DEP "${SIMGRID_DEP} -lexecinfo")
- if ("${CMAKE_SYSTEM_VERSION}" MATCHES "12")
+ if ("${CMAKE_SYSTEM_VERSION}" STRGREATER_EQUAL "12")
set(SIMGRID_DEP "${SIMGRID_DEP} -lpgmath")
endif()
if ("${CMAKE_SYSTEM_VERSION}" MATCHES "12\.1")