# Warning: the modules must be in compilation order
MODULES = \
+ xml \
pxp \
registry \
utf8_macros \
thread \
xmldiff \
- xml \
urimanager \
logger \
getter \
cic_omdoc \
metadata \
tactics \
+ cic_notation \
cic_transformations \
- cic_textual_parser2
+ cic_textual_parser2 \
+ mathql \
+ mathql_interpreter \
+ mathql_generator \
+ hbugs
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
echo "}" >> $@
-
libraries.ps: .dep.dot
dot -Tps -o $@ $<
libraries-complete.ps: .alldep.dot
dot -Tps -o $@ $<
+
+tags: TAGS
+.PHONY: TAGS
+TAGS:
+ otags -vi -r .
+