From 44e5216ecc5acdc630efc2807bd230fec666f741 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 27 Aug 2010 19:34:05 +0000
Subject: Target to run an instance

---
 Makefile.devel | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 9d9ffbff..20a35526 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -209,6 +209,9 @@ tags:	$(EL) $(TAGS_EXTRAS)
 #
 # Run tests for a particular prover and particular Emacs
 #
+run.%:
+	$(EMACS) $(EMACSFLAGS) -l generic/proof-site.el -eval '(proof-visit-example-file "$*")'
+
 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
 
-- 
cgit v1.2.3