X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a6b23c846948f7f89277f75e7c42f3942b31b8d3..ff7eafd19936822d22334fbf345c0b2ac9d56dc5:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 24f231297d..b831f0195b 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -360,6 +360,9 @@ set(SURF_SRC
   src/xbt/xbt_sg_stubs.c
   )
 
+set(SIMIX_GENERATED_SRC
+  src/simix/simcalls_generated_case.c
+  )
 set(SIMIX_SRC
   src/simix/smx_context.c
   src/simix/smx_context_base.c
@@ -375,6 +378,7 @@ set(SIMIX_SRC
   src/simix/smx_synchro.c
   src/simix/smx_user.c
   src/simix/smx_vm.c
+  ${SIMIX_GENERATED_SRC}
   )
 
 set(SIMGRID_SRC
@@ -611,6 +615,7 @@ set(MC_SRC
   src/mc/mc_global.c
   src/mc/mc_hash.c
   src/mc/mc_ignore.c
+  src/mc/mc_interface.h
   src/mc/mc_liveness.c
   src/mc/mc_member.c
   src/mc/mc_memory.c