# 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 \
xbt/virtu.h \
- xbt/str.h xbt/strbuff.h \
+ xbt/str.h xbt/strbuff.h xbt/hash.h \
xbt/function_types.h \
xbt/asserts.h xbt/ex.h \
xbt/log.h \
xbt/graphxml.h \
\
xbt/time.h \
- xbt/synchro.h \
+ xbt/synchro.h xbt/synchro_core.h\
xbt/queue.h \
+ xbt/setset.h \
+ xbt/mmalloc.h \
\
msg/msg.h \
msg/datatypes.h \
simdag/datatypes.h \
\
smpi/smpi.h \
+ smpi/mpi.h \
\
surf/surfxml_parse.h \
surf/simgrid_dtd.h \
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