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 \
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