There is a Virtual Box image in \\math.ut.ee\materjalid\easycrypt\VM. Just copy it to your own hard disk and run the contained Ubuntu.
If you wish to install EasyCrypt on your own Linux laptop (~1 GB hard disk space), you can execute the following steps:
- sudo apt-get update
- sudo apt-get install emacs git m4 autoconf build-essential curl libgmp-dev mathpartir libantlr3c-dev libboost-dev zlib1g-dev latexmk texlive texlive-latex-extra texlive-fonts-extra texlive-math-extra
- sudo mkdir -p /opt/easycrypt
- sudo chown "$USER" /opt/easycrypt
- cd /opt/easycrypt/
- git clone git://ci.easycrypt.info/easycrypt .
- make toolchain
- . scripts/activate-toolchain.sh
- make provers
- make
- make -C proofgeneral local
- make -C doc/userman
- make -C doc/refman
After this, you can run ProofGeneral using:
- cd /opt/easycrypt
- make pg
And then just open/create any *.ec file and start editing.
Mac
On Mac, similar steps will work, however, the first two lines (calling sudo apt-get) will have to be omitted (and you need to figure out which dependencies should be installed and how.
Furthermore, you may need to set the following environment variables:
export C_INCLUDE_PATH=/opt/local/include export LIBRARY_PATH=/opt/local/lib
I have not tested this myself since I do not have a Mac.