change mmalloc.h into a public header

[simgrid.git] / include / Makefile.am

diff --git a/include/Makefile.am b/include/Makefile.am
index 692ab60..864f9a9 100644 (file)
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -4,8 +4,9 @@
 # You can redistribute and/or modify it under the terms of the
 # GNU LGPL (v2.1) licence.
 
+EXTRA_DIST=simgrid_config.h.in
 
-include_HEADERS = gras.h xbt.h
+include_HEADERS = gras.h xbt.h simgrid_config.h
 nobase_include_HEADERS = \
        xbt/misc.h \
        xbt/sysdep.h \
@@ -31,6 +32,8 @@ nobase_include_HEADERS = \
        xbt/time.h \
        xbt/synchro.h  xbt/synchro_core.h\
        xbt/queue.h \
+       xbt/setset.h \
+       xbt/mmalloc.h \
        \
        msg/msg.h \
        msg/datatypes.h \
@@ -39,6 +42,7 @@ nobase_include_HEADERS = \
        simdag/datatypes.h \
        \
        smpi/smpi.h \
+       smpi/mpi.h \
        \
        surf/surfxml_parse.h \
        surf/simgrid_dtd.h \
@@ -49,7 +53,10 @@ nobase_include_HEADERS = \
        gras/messages.h gras/timer.h \
        \
        amok/peermanagement.h \
-       amok/bandwidth.h
+       amok/bandwidth.h \
+       \
+       instr/instr.h \
+       instr/config.h
 
 surf/simgrid_dtd.h:
        $(MAKE) -C ../src ../include/surf/simgrid_dtd.h