From 35f05f9f85e02ff7f03f73d884983289c5f4bebb Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 3 Aug 2010 23:08:39 +0000 Subject: Separate profiling from testing --- Makefile.devel | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'Makefile.devel') diff --git a/Makefile.devel b/Makefile.devel index dca47219..a9e9e881 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -213,6 +213,9 @@ tags: $(EL) $(TAGS_EXTRAS) test.%: if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests for $* run successfully on `date`"; else cat $*/.autotest.log; echo "Autotests for $* ran with failures on `date`"; exit 1; fi; fi +profile.%: + if [ -f "$*/$*-profiling.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-profiling.el -f eval-current-buffer; then echo "Profiling for $* run successfully on `date`"; else echo "Profiling for $* ran with failures on `date`"; exit 1; fi; cat $*/.profile.log; fi + testall.%: for prover in ${PROVERS}; do $(MAKE) test.$$prover EMACS=$*; done @@ -251,7 +254,7 @@ devclean: FORCE # distclean: devclean clean @echo "***** CLEANING UP ALL JUNK FILES ****" - find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' \) -print | xargs rm -f + find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' -o -name '\.*\.log' \) -print | xargs rm -f (cd doc; $(MAKE) distclean) ############################################################ -- cgit v1.2.3