X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2FMakefile.common.in;h=9dff7894208c365a65473fd681eab2bbebf6cd3c;hb=9e612ad41b3231db504079c6e13fdd8951f3c695;hp=ef569ff80cf8a9121c30364bdfc933d38111df7e;hpb=e9b472d20cfd8ea28c6b6da2e474171b2347aa61;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index ef569ff80..9dff78942 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -104,6 +104,16 @@ ocamlinit:
 	for p in $(REQUIRES); do echo "#require \"$$p\";;" >> .ocamlinit; done
 	echo "#load \"$(PACKAGE).cma\";;" >> .ocamlinit
 
+# $(STATS_EXCLUDE) may be defined in libraries' Makefile to exclude some file
+# from statistics collection
+STATS_FILES = \
+	$(shell find . -maxdepth 1 -type f -name \*.ml $(foreach f,$(STATS_EXCLUDE),-not -name $(f))) \
+	$(shell find . -maxdepth 1 -type f -name \*.mli $(foreach f,$(STATS_EXCLUDE),-not -name $(f)))
+.stats: $(STATS_FILES)
+	rm -f .stats
+	echo -n "LOC:" >> .stats
+	wc -l $(STATS_FILES) | tail -1 | awk '{ print $$1 }' >> .stats
+
 .PHONY: all opt world backup depend install uninstall clean ocamlinit
 
 ifneq ($(MAKECMDGOALS), depend)