1 # Warning: the modules must be in compilation order
25 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
26 OCAMLPATH = @OCAMLFIND_META_DIR@
28 METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
30 all: metas $(MODULES:%=%.all)
31 opt: metas $(MODULES:%=%.opt)
34 depend: $(MODULES:%=%.depend)
35 install: $(MODULES:%=%.install)
36 uninstall: $(MODULES:%=%.uninstall)
37 clean: $(MODULES:%=%.clean)
40 distclean: clean clean_metas
41 rm -f Makefile Makefile.common configure config.log config.cache config.status
43 .PHONY: all opt world metas depend install uninstall clean clean_metas distclean
46 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
48 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
50 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
52 OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
54 $(MODULES:%=%.install):
55 cd $(@:%.install=%) && make install
56 export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \
57 cp METAS/$(@:%.install=meta.helm-%.src) $$TARGET && \
58 echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET
59 $(MODULES:%=%.uninstall):
60 cd $(@:%.uninstall=%) && make uninstall
61 rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
62 METAS/META.helm-%: METAS/meta.helm-%.src
63 cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@
67 echo "digraph G {" > $@
68 echo " rankdir = TB ;" >> $@
69 for i in $(MODULES); do $(OCAMLFIND) query helm-$$i -recursive -p-format | grep helm | sed "s/^helm-/ \"$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done
70 mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
75 echo "digraph G {" > $@
76 echo " rankdir = TB ;" >> $@
77 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
78 mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
79 for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
82 libraries.ps: .dep.dot
85 libraries-complete.ps: .alldep.dot