1 # Warning: the modules must be in compilation order
26 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
27 OCAMLPATH = @OCAMLFIND_META_DIR@
29 METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
31 all: metas $(MODULES:%=%.all)
32 opt: metas $(MODULES:%=%.opt)
35 depend: $(MODULES:%=%.depend)
36 install: $(MODULES:%=%.install)
37 uninstall: $(MODULES:%=%.uninstall)
38 clean: $(MODULES:%=%.clean)
41 distclean: clean clean_metas
42 rm -f Makefile Makefile.common configure config.log config.cache config.status
44 .PHONY: all opt world metas depend install uninstall clean clean_metas distclean
47 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
49 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
51 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
53 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
55 $(MODULES:%=%.install):
56 cd $(@:%.install=%) && make install
57 export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \
58 cp METAS/$(@:%.install=meta.helm-%.src) $$TARGET && \
59 echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET
60 $(MODULES:%=%.uninstall):
61 cd $(@:%.uninstall=%) && make uninstall
62 rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
63 METAS/META.helm-%: METAS/meta.helm-%.src
64 cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@
68 echo "digraph G {" > $@
69 echo " rankdir = TB ;" >> $@
70 for i in $(MODULES); do $(OCAMLFIND) query helm-$$i -recursive -p-format | grep helm | sed "s/^helm-/ \"$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done
71 mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
76 echo "digraph G {" > $@
77 echo " rankdir = TB ;" >> $@
78 for i in $(MODULES); do $(OCAMLFIND) query helm-$$i -recursive -p-format | grep -v "pxp-" | sed "s/^pxp/pxp[-*]/g" | sed "s/^/ \"helm-$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done
79 mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
80 for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
83 libraries.ps: .dep.dot
86 libraries-complete.ps: .alldep.dot