+
+export SHELL=/bin/bash
+
# Warning: the modules must be in compilation order
NULL =
MODULES = \
getter \
cic \
cic_proof_checking \
- cic_unification \
cic_acic \
acic_content \
content_pres \
grafite \
metadata \
+ library \
+ cic_unification \
whelp \
tactics \
cic_disambiguation \
- paramodulation \
+ lexicon \
+ grafite_engine \
+ grafite_parser \
+ tactics/paramodulation \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLPATH = @OCAMLFIND_META_DIR@
OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@
-METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
+METAS = $(filter-out %/paramodulation,$(MODULES:%=METAS/META.helm-%))
-all: metas $(MODULES:%=%.all)
+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: $(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 Makefile Makefile.common configure config.log config.cache config.status
+ 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
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
%.opt:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
%.clean:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
%.depend:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
+%.stats:
+ @$(MAKE) -C $* .stats
$(MODULES:%=%.install):
cd $(@:%.install=%) && make install
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: