cic_unification \
whelp \
tactics \
- tactics/paramodulation \
cic_disambiguation \
lexicon \
grafite_engine \
grafite_parser \
+ tactics/paramodulation \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
uninstall: $(MODULES:%=%.uninstall)
clean: $(MODULES:%=%.clean)
+.stats: $(MODULES:%=%.stats)
+ (for m in $(MODULES); do echo -n "$$m:"; cat $$m/.stats; done) \
+ | sort -t : -k 2 -n -r > .stats
+
clean_metas:
rm -f $(METAS)
distclean: clean clean_metas
.PHONY: all opt world metas depend install uninstall clean clean_metas distclean
%.all:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
+ @echo building module: $*
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all --no-print-directory
%.opt:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
+ @echo building module: $*
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt --no-print-directory
%.clean:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
+ @echo cleaning module: $*
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean --no-print-directory
%.depend:
- OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
+ @echo calculating dependencies for module: $*
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend --no-print-directory
+%.stats:
+ @echo generating stats for module: $*
+ @$(MAKE) -C $* .stats
$(MODULES:%=%.install):
cd $(@:%.install=%) && make install