diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 21:36:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 21:36:23 +0000 |
| commit | c43eebc79e84402f3978f1f32d812e755039e3ef (patch) | |
| tree | dca62bb1c01187ec41ed583d5aafd669508e95ff /Makefile.devel | |
| parent | a5fef2b565a3849eb5c8238ec2f7b64587ba840e (diff) | |
Added simple testing framework (in progress)
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 8f2fb1ad..f232c9c9 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -153,6 +153,10 @@ CVSROOT=$(shell cat CVS/Root) # Emacs for batch compiling BATCHEMACS=xemacs -batch -q -no-site-file +# Emacs for interactive use in testing +EMACS=emacs +EMACSFLAGS=-q -no-site-file + # GNU version of tar, please TAR=tar # zip utility @@ -201,7 +205,9 @@ RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm DISTINSTALLDIR=/export/local/share/elisp # Copied from distributed Makefile -ELISP_DIRS=acl2 coq demoisa generic hol98 isa isar lclam lego lib mmm phox plastic twelf +PROVERS=acl2 coq demoisa generic hol98 isa isar lclam lego phox plastic twelf +OTHER_ELISP=lib mmm +ELISP_DIRS=$(PROVERS) $(OTHER_ELISP) SUBDIRS=$(ELISP_DIRS) etc doc images PWD=$(shell pwd) @@ -236,6 +242,16 @@ tags: $(EL) $(ETAGS) $(EL) TODO.developer doc/ProofGeneral.texi doc/PG-adapting.texi > TAGS +############################################################ +# +# Run tests for a particular prover and particular Emacs +# +test.%: + if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests run successfully on `date`" > $*/.autotest.txt; else rm -f $*/autotest.txt; exit 1; fi; fi + +testall.%: + for prover in ${PROVERS}; do $(MAKE) devel.test.$$prover EMACS=$*; done + ############################################################ # |