+%_dev.xml: %.xml
+ sed '/DOCTYPE/s,simgrid.dtd,http://simgrid.gforge.inria.fr/&,' $< > $@
+
+$(FLAVOURED_LOBA):
+ $(MAKE) clean
+ $(MAKE) SIMGRID_INSTALL_DIR=./simgrid-$(patsubst loba-%,%,$@) loba
+ mv -f -- loba $@
+ $(MAKE) clean
+
+misc_autogen.h: $(SIMGRID_INSTALL_DIR)/include/xbt/log.h
+ grep -C1 '# *define *CLOG' $< \
+ | sed 's/CLOG/XCLOG/;s/_XBT_LOGV\(([^)]*)\)/(*\1)/' > $@
+