README for Version 524

Version 524 runs on Linux or Mac OS X (both intel and power pc are supported), though you must have a Sun Java, preferably at least 1.4.2 from Sun Microsystems, though 1.5 is survivable.

1. Download IOP

According to the desired target machine, download either IOP-v524-linux.zip, IOP-v524-macppc.zip, or IOP-v524-macintel.zip. You can then manually unpack this zip file, instructions follow, or else download the installer.pl script from the Pathway Logic Install web page.

2a. Install via installer.pl

Before you run the installer you must set your IOBINDIR environment variable to the path where you would like the binaries to go. ~/bin/IOP is a good choice. Furthermore, IOPBINDIR must be in your PATH environment variable.

Make sure that the installer script is executable. To ensure this, you may run from the command line in the directory where you downloaded items from step 1.) 

  $> chmod a+x installer.pl

Run the installer script from the command line (in the directory where you downloaded items) using this command 

  $> ./installer.pl
and follow the instructions of the installer.

To test the installation (if you use tcsh, do "rehash" first), do from the command line 

  $> which iop
which should print the location of the IOP installation.

2b. Install manually

Unpack the zip file. To unpack to a directory called IOP-v524, do: 
  $>unzip -d IOP-v524
This directory needs to be in your PATH, so that for example which knows where it is: 
  $> which iop
     ...../IOP-v524/iop

3. Install Maude

Most iop applications require maude to be installed on your system, and the prelude.maude needs to be in the same directory as the maude.linux or maude.darwin executable: 
  $> which maude.linux
     /usr/local/maude-x86-linux/bin/maude.linux
  $> ls /usr/local/maude-x86-linux/bin/
     maude.linux  model-checker.maude  prelude.maude
or 
   $> which maude.darwin
      /usr/local/maude-darwin/bin/maude.darwin
   $> ls /usr/local/maude-darwin/bin/
      maude.darwin  model-checker.maude  prelude.maude
There are Maude installation instructions on the Pathway Logic Install 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.524), 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