X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/33a9da85867c540b95d99573defe39b47c5f6f45..fd92747951bee810d382edb735052a6b56db1c6d:/src/Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 992a5f89d4..0ff1ac69b5 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -176,9 +176,9 @@ XBT_SRC=\
 #### mmalloc cruft -- to be integrated into cmake
 
 EXTRA_DIST+= \
-  xbt/mmalloc/ansidecl.h  xbt/mmalloc/keys.c      xbt/mmalloc/mmalloc.c  \
+  xbt/mmalloc/keys.c      xbt/mmalloc/mmalloc.c  \
   xbt/mmalloc/mm.c        xbt/mmalloc/mmprivate.h xbt/mmalloc/mrealloc.c \
-  xbt/mmalloc/attach.c    xbt/mmalloc/mcalloc.c   xbt/mmalloc/mmalloc.h  \
+  xbt/mmalloc/attach.c    xbt/mmalloc/mcalloc.c  \
   xbt/mmalloc/mmcheck.c   xbt/mmalloc/mmstats.c   xbt/mmalloc/mvalloc.c  \
   xbt/mmalloc/detach.c    xbt/mmalloc/mfree.c     xbt/mmalloc/mmap-sup.c \
   xbt/mmalloc/mmemalign.c xbt/mmalloc/mmtrace.c   xbt/mmalloc/sbrk-sup.c
@@ -345,6 +345,12 @@ AMOK_SRC= \
   amok/Bandwidth/bandwidth.c amok/Bandwidth/saturate.c \
   amok/PeerManagement/peermanagement.c
 
+MC_SRC= \
+  mc/mc_memory.c       mc/mc_checkpoint.c \
+  mc/memory_map.c      mc/mc_global.c \
+  mc/mc_dfs.c          mc/mc_dpor.c \
+  mc/mc_transition.c
+
 ##############################
 # Deal with optional modules #
 ##############################
@@ -364,7 +370,7 @@ lib_LTLIBRARIES= libsimgrid.la libgras.la libsmpi.la
 
 gras_sources=$(XBT_SRC) $(GRAS_COMMON_SRC) $(GRAS_RL_SRC) $(AMOK_SRC)
 simgrid_sources=$(XBT_SRC) $(SURF_SRC) $(GTNETS_USED) \
-                $(SIMIX_SRC) $(MSG_SRC) $(SIMDAG_SRC) \
+                $(SIMIX_SRC) $(MC_SRC) $(MSG_SRC) $(SIMDAG_SRC) \
 		$(GRAS_COMMON_SRC) $(GRAS_SG_SRC) $(AMOK_SRC) \
 		$(TRACING_SRC)