+++ /dev/null
-
-export SHELL=/bin/bash
-
-# Warning: the modules must be in compilation order
-NULL =
-MODULES = \
- extlib \
- xml \
- hgdome \
- registry \
- hmysql \
- utf8_macros \
- thread \
- xmldiff \
- urimanager \
- logger \
- getter \
- cic \
- cic_proof_checking \
- cic_acic \
- acic_content \
- content_pres \
- grafite \
- metadata \
- library \
- cic_unification \
- whelp \
- tactics \
- cic_disambiguation \
- lexicon \
- grafite_engine \
- grafite_parser \
- tactics/paramodulation \
- $(NULL)
-
-OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
-OCAMLPATH = @OCAMLFIND_META_DIR@
-OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@
-
-METAS = $(filter-out %/paramodulation,$(MODULES:%=METAS/META.helm-%))
-
-all: metas $(MODULES:%=%.all)
-opt: metas $(MODULES:%=%.opt)
-world: all opt
-metas: $(METAS)
-depend: $(MODULES:%=%.depend)
-install: $(MODULES:%=%.install)
-uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean) clean_metas
-
-.stats: $(MODULES:%=%.stats)
- (for m in $(MODULES); do echo -n "$$m:"; cat $$m/.stats; done) \
- | sort -t : -k 2 -n -r > .stats
-
-EXTRA_DIST_CLEAN = \
- libraries-clusters.ps \
- libraries-clusters.pdf \
- libraries-ext.ps \
- libraries.ps \
- .dep.dot \
- .extdep.dot \
- .clustersdep.dot \
- $(NULL)
-
-clean_metas:
- rm -f $(METAS)
-distclean: clean clean_metas
- rm -f configure config.log config.cache config.status
- rm -f Makefile Makefile.common $(EXTRA_DIST_CLEAN)
-
-.PHONY: all opt world metas depend install uninstall clean clean_metas distclean
-
-%.all:
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
-%.opt:
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
-%.clean:
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
-%.depend:
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
-%.stats:
- @$(MAKE) -C $* .stats
-
-$(MODULES:%=%.install):
- cd $(@:%.install=%) && make install
- export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \
- cp METAS/$(@:%.install=meta.helm-%.src) $$TARGET && \
- echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET
-$(MODULES:%=%.uninstall):
- cd $(@:%.uninstall=%) && make uninstall
- rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
-METAS/META.helm-%: METAS/meta.helm-%.src
- cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@
-
-.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 "}" >> $@
-
-.PHONY: .alldep.dot
-.alldep.dot:
- echo "digraph G {" > $@
- echo " rankdir = TB ;" >> $@
- 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
- mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
- for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
- echo "}" >> $@
-
-.extdep.dot: .dep.dot
- STATS/patch_deps.sh $< $@
-.clustersdep.dot: .dep.dot
- USE_CLUSTERS=yes STATS/patch_deps.sh $< $@
-
-libraries.ps: .dep.dot
- dot -Tps -o $@ $<
-libraries-ext.ps: .extdep.dot
- dot -Tps -o $@ $<
-libraries-clusters.ps: .clustersdep.dot
- dot -Tps -o $@ $<
-libraries-complete.ps: .alldep.dot
- dot -Tps -o $@ $<
-
-ps: libraries.ps libraries-ext.ps libraries-clusters.ps
-
-tags: TAGS
-.PHONY: TAGS
-TAGS:
- otags -vi -r .
-