15:58:26, Tuesday, 27 Jul 99 Instructions for installing and running Peparoni: o unzip and untar the distribution - gunzip peparoni-0.1.tar.gz tar xvf peparoni-0.1.tar o you will need the following tools/extras: JDK 1.1.6 will do - http://www.javasoft.com simjava - http://www.dcs.ed.ac.uk/home/hase/simjava/ pizza - http://cm.bell-labs.com/cm/cs/who/wadler/pizza/ GNU getopt for java - http://www.gnu.org/software/java/java-software.html JLex - http://www.ncc.up.pt/~vsc/aulas/RSD/Java/JLex/index.html Java CUP - http://www.cs.princeton.edu/~appel/modern/java/CUP/why.html GNU make - ftp://sunsite.doc.ic.ac.uk/pub/gnu/make/ o alter peparoni/Makefile.config to reflect the paths you have used to install the above tools. o try running make! (GNU version) o to test the simulator, type make run. If $PEPAMODEL is set to, for example, test.pepa, then the simulator will be run on models/test.pepa