X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=8eae888141a87c4da2d1f49f9d02020acc18a5c3;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=83b28f78cae475c6cff9495f6348e6ae861e1609;hpb=a6611bb09e2fa8629a022dbcd6c527ea8fd4df32;p=helm.git diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 83b28f78c..8eae88814 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,6 +1,11 @@ # Warning: the modules must be in compilation order MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \ - cic_cache cic_proof_checking + cic_cache cic_proof_checking cic_textual_parser \ + tex_cic_textual_parser cic_unification mathql mathql_interpreter \ + mathql_generator cic_omdoc tactics cic_transformations + +OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ +OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ METAS = $(MODULES:%=META.helm-%) CWD=`pwd` @@ -14,19 +19,34 @@ clean: $(MODULES:%=%.clean) rm -f $(METAS) dist-clean: clean - rm -f Makefile configure config.log config.cache config.status + rm -f Makefile Makefile.common configure config.log config.cache config.status $(MODULES:%=%.all): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.all=%) ; make all + export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.all=%) && make all $(MODULES:%=%.opt): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.opt=%) ; make opt + export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.opt=%) && make opt $(MODULES:%=%.depend): - export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.depend=%) ; make depend + export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.depend=%) && make depend $(MODULES:%=%.install): - cd $(@:%.install=%) ; make install + cd $(@:%.install=%) && make install + export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \ + cp $(@:%.install=META.helm-%.src) $$TARGET && \ + echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET $(MODULES:%=%.uninstall): - cd $(@:%.uninstall=%) ; make uninstall + cd $(@:%.uninstall=%) && make uninstall + rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%) $(MODULES:%=%.clean): - cd $(@:%.clean=%) ; make clean + cd $(@:%.clean=%) && make clean META.helm-%: META.helm-%.src - cp $< $@ ; echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@ + cp $< $@ && echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@ + +.PHONY: .dep.dot +.dep.dot: + echo "digraph G {" > $@ + echo " rankdir = TB ;" >> $@ + for i in $(MODULES); do ocamlfind query helm-$$i -recursive -p-format | grep helm | sed "s/^helm-/ \"$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done + mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old + echo "}" >> $@ + +libraries.ps: .dep.dot + dot -Tps -o $@ $<