Replace INFO0+bprintf by INFO6

[simgrid.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index dbe4cd4..0ff1ac6 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -170,7 +170,22 @@ XBT_SRC=\
   xbt/config.c                                                               \
   xbt/cunit.c                                                                \
   xbt/graphxml_parse.c                                                       \
-  xbt/setset.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         \
@@ -330,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 #
 ##############################
@@ -349,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)