README for Version 867
Version 867 runs on Linux or the intel Mac OS X
though you must have a Sun Java 1.6.
1. Download IOP
According to the desired target machine, download either IOP-v867-linux.zip, IOP-v867-mac.zip.
You can then manually unpack this zip file, instructions follow.
2. Install IOP
Unpack the zip file. To unpack to a directory called IOP-v867, do:
$>unzip -d IOP-v867
This directory needs to be in your PATH, so that for example
which knows where it is:
$> which iop
...../IOP-v867/iop
3. Install Maude
Most iop applications require
maude to be installed on your
system. One caveat is that on a Mac the maude executable
needs to be called maude not maude.darwin etc.
There are Maude installation instructions
on the Maude web page.
4. Run IOP
Once this is done you can invoke iop:
$>iop
If you have a file in the current directory called input.txt, it will
automatically be loaded into the input window of iop's GUI.
5. Run JLambda
You can also call the JLambda read-eval-print loop via:
$> jlambda
Welcome to the JLambda interface to Java (version 0.867), type ? for help.
6. Fine Tune IOP
If you create a .ioprc file in your home directory and in it put
the absolute pathname of a file, then if you do not have an input.txt
file as in 4. then the file in .ioprc will be loaded in. The .ioprc
file is also used to configure iop. Here is a copy of my .ioprc:
/homes/cs/iam/SRI/All/xix.txt
#/homes/cs/iam/SRI/MDS/gtest.txt
#/home/iop/.ioprc
#this is a comment
font size = 12
#font style = bold
font type = Lucinda Sans
#show font familes = true
window width = 550
window height = 550
start maude iop_maude_wrapper /usr/local/maude-linux/bin
#start socketfactory iop_socketfactory *FIFO_IN* *FIFO_OUT*
start graphics iop_graphics_wrapper /usr/bin/iop
#This is the location of my iop binaries ^^^^^^^^^^^^
start graphics2d iop_graphics2d_wrapper /usr/bin/iop
#start executor iop_executor
#start filemanager iop_filemanager
#start pvs iop_pvs_wrapper
select maude