diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 14:56:20 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 14:56:20 -0500 |
commit | bef28eaad907cb2bc4cd54fb3674a6edbe19320e (patch) | |
tree | 81d523c61f18dfacfcdf035fa95cc47c39fd1a6b /Makefile | |
parent | 12d6e92b5cac0ea1fda6f8f782067afe49b263ee (diff) |
Add easycrypt and twelf to Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ EMACS=$(shell if [ -z "`which emacs`" ]; then echo "Emacs executable not found"; PREFIX=$(DESTDIR)/usr DEST_PREFIX=$(DESTDIR)/usr -PROVERS=acl2 ccc coq hol98 isar lego hol-light phox pgshell pgocaml pghaskell +PROVERS=acl2 ccc coq easycrypt hol-light hol98 isar lego pghaskell pgocaml pgshell phox twelf OTHER_ELISP=generic lib contrib/mmm ELISP_DIRS=${PROVERS} ${OTHER_ELISP} ELISP_EXTRAS= |