How to run Z\EVES on Ubuntu 10.04

Z\EVES is a Z notation theorem proving program.

It is an old and I think abandoned software, but used in some universities. Old Python 2.3 is needed for running it.

Let’s install it on Ubuntu 10.04

emanuelis@gutsis:~$ mkdir opt
emanuelis@gutsis:~$ cd opt
emanuelis@gutsis:~/opt$ wget http://www.python.org/ftp/python/2.3.7/Python-2.3.7.tar.bz2
emanuelis@gutsis:~/opt$ tar -xvf Python-2.3.7.tar.bz2
emanuelis@gutsis:~/opt$ cd Python-2.3.7/
emanuelis@gutsis:~/opt/Python-2.3.7$ ./configure BASECFLAGS=-U_FORTIFY_SOURCE
emanuelis@gutsis:~/opt/Python-2.3.7$ make
emanuelis@gutsis:~/opt$ cd ..
emanuelis@gutsis:~/opt$ wget http://files.nzn.lt/z-eves-2.3.tgz
emanuelis@gutsis:~/opt$ mkdir z-eves-2.3
emanuelis@gutsis:~/opt/z-eves-2.3$ cd z-eves-2.3/
emanuelis@gutsis:~/opt/z-eves-2.3$ tar -zxvf ../z-eves-2.3.tgz
emanuelis@gutsis:~/opt/z-eves-2.3$ cd system
emanuelis@gutsis:~/opt/z-eves-2.3/system$ gedit z-eves-gui.sh
emanuelis@gutsis:~/opt/z-eves-2.3/system$ gedit z-eves.sh
emanuelis@gutsis:~/opt/z-eves-2.3/system$ ./z-eves-gui.sh

Contents of z-eves-gui.sh should look like this:

zevesdir=~/opt/z-eves-2.3
zguidir=$zevesdir/gui-2.3
python=~/opt/Python-2.3.7/python
zfontsdir=$zevesdir/zedfont

lispdir=$zevesdir/system
zsysdir=$zevesdir/system
zlibdir=$zevesdir/library/
zeves=$zsysdir/z-eves-pc-linux-cmucl.core

xset +fp $zfontsdir
export LC_ALL=C
export ZEVESCMD="$lispdir/lisp -core $zeves -- -libs $zlibdir"
exec $python $zguidir/toplevel.pyc "$@"

Contents of z-eves.sh should look like this:

zevesdir=~/opt/z-eves-2.3

lispdir=$zevesdir/system
zsysdir=$zevesdir/system
zlibdir=$zevesdir/library/
zeves=$zsysdir/z-eves-pc-linux-cmucl.core

exec $lispdir/lisp -core $zeves -- -libs $zlibdir "$@"

Have fun with Z notation

Thanks zenzike.

Be Sociable, Share!

•