diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-02-07 11:18:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-02-07 11:18:49 +0000 |
| commit | b46ddcb5d9fce35ab58a772bbdf9d9f5442ddc12 (patch) | |
| tree | 7fc6cbc84d11e572479b29292c327e292ad8c461 /Makefile | |
| parent | b082e4a0a928394eb0429e476c9951b1968b19f1 (diff) | |
Extend list of provers we compile for
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |