-if(enable_model-checking)
- install(
- PROGRAMS ${CMAKE_BINARY_DIR}/bin/simgrid-mc
- DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)
-endif()
-
-install(PROGRAMS ${CMAKE_BINARY_DIR}/bin/tesh DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/bin/)