X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d57f583f531c3ed96281734e99a3199e0a58ec3f..5f32263569ffe21e013c081a922778e4cb785d7f:/tools/cmake/DefinePackages.cmake diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index a244369b02..cc7e45373e 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -613,6 +613,7 @@ set(MC_SRC src/mc/AddressSpace.hpp src/mc/AddressSpace.cpp src/mc/Frame.hpp + src/mc/Frame.cpp src/mc/ModelChecker.hpp src/mc/ModelChecker.cpp src/mc/ObjectInformation.hpp