\
xbt/config.c \
xbt/cunit.c \
- xbt/graphxml_parse.c
+ xbt/graphxml_parse.c \
+ xbt/setset.c \
+ xbt/mmalloc/mm.c
+
+#### mmalloc cruft -- to be integrated into cmake
+
+EXTRA_DIST+= \
+ 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/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
+
+# info_TEXINFOS= xbt/mmalloc/mmalloc.texi
+
+### End of mmalloc cruft
XBT_RL_SRC = \
xbt/xbt_rl_synchro.c \
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 #
##############################
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)