Added reference link to comment in MakeLib.cmake

[simgrid.git] / buildtools / Cmake / MakeLib.cmake

diff --git a/buildtools/Cmake/MakeLib.cmake b/buildtools/Cmake/MakeLib.cmake
index be1613f..51093f2 100644 (file)
--- a/buildtools/Cmake/MakeLib.cmake
+++ b/buildtools/Cmake/MakeLib.cmake
@@ -23,7 +23,7 @@ endif()
 add_dependencies(simgrid maintainer_files)
 
 if(enable_model-checking)
-  add_executable(simgrid-mc "${MC_SIMGRID_MC_SRC}")
+  add_executable(simgrid-mc ${MC_SIMGRID_MC_SRC})
   target_link_libraries(simgrid-mc simgrid)
   set_target_properties(simgrid-mc
     PROPERTIES
@@ -38,6 +38,7 @@ if(${CMAKE_SYSTEM_NAME} STREQUAL "FreeBSD"
     AND NOT ${CMAKE_SYSTEM_VERSION} VERSION_LESS 10.0
     AND ${CMAKE_CXX_COMPILER_ID} STREQUAL "Clang")
   # FreeBSD from 10.0 provide a internal C++ stack (unused by gcc)
+  # see https://wiki.freebsd.org/NewC%2B%2BStack
   set(SIMGRID_DEP "${SIMGRID_DEP} -lc++")
 else()
   set(SIMGRID_DEP "${SIMGRID_DEP} -lstdc++")