Index of /~iop/Data/Binaries

	Name	Last modified	Size	Description
	Parent Directory		-
	IOP-v459-linux.zip	20-Oct-2006 11:09	782K
	IOP-v459-macosx.zip	20-Oct-2006 11:09	945K
	IOP-v500-linux.zip	20-Oct-2006 11:09	905K
	IOP-v500-macosx.zip	20-Oct-2006 11:09	1.0M
	IOP-v524-linux.zip	20-Oct-2006 11:09	908K
	IOP-v524-macintel.zip	20-Oct-2006 11:09	1.1M
	IOP-v524-macppc.zip	20-Oct-2006 11:09	1.0M
	binaries.html	20-Oct-2006 11:09	1.3K

README for iop binaries (version 0.13) 
running on Linux or Mac OS X

0. You need a working version of Java, preferably at least 1.4 from 
Sun Microsystems.


1. download either iop_linux_binaries.zip or iop_mac_binaries.zip; unpack the zip 
file (it unpacks to a directory of the same name, less the .zip extension)


2. This directory needs to be in your PATH, so that for example
which knows where it is:
        
        > which iop
        ...../iop_linux_binaries/iop

or

        > which iop
        ...../iop_mac_binaries/iop

3. maude.linux or maude.darwin also needs 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



4. 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. You can also call the JLambda read-eval-print loop via:

       > jlambda 

        Welcome to the JLambda interface to Java (version 029)!


             > 

6. 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