[mc] Basic infrastructure for a real model-checker process

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

diff --git a/buildtools/Cmake/MakeLib.cmake b/buildtools/Cmake/MakeLib.cmake
index be1613f..91611c9 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