From b46ddcb5d9fce35ab58a772bbdf9d9f5442ddc12 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 7 Feb 2012 11:18:49 +0000 Subject: Extend list of provers we compile for --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f33b53f5..3ff1a200 100644 --- a/Makefile +++ b/Makefile @@ -22,7 +22,7 @@ # Set this according to your version of Emacs. # NB: this is also used to set default install path names below. EMACS=$(shell if [ -z "`which emacs`" ]; then echo "Emacs executable not found"; exit 1; else echo emacs; fi) -# EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs +# EMACS=/Applications/Emacs\ 23.4.app/Contents/MacOS/Emacs # We default to /usr rather than /usr/local because installs of # desktop and doc files under /usr/local are unlikely to work with @@ -35,7 +35,7 @@ DEST_PREFIX=/usr PWD=$(shell pwd) -PROVERS=acl2 ccc coq hol98 isar lego pgshell phox +PROVERS=acl2 ccc coq hol98 isar lego hol-light phox pgshell pgocaml pghaskell OTHER_ELISP=generic lib contrib/mmm ELISP_DIRS=${PROVERS} ${OTHER_ELISP} ELISP_EXTRAS=isar/interface isar/isartags -- cgit v1.2.3