GUIDE TO SETL2 INSTALLATION

SETL2, which was implemented by Kirk Snyder (snyder@cs.nyu.edu) runs
on many computers including Sun3 (SUNOS 4), Sun4 (SUNOS 4), IBM
RS-6000 (AIX 3.1), DEC RISC product line (Ultrix 4.0), HP-9000, Apple
Macintosh (with the MPW environment), Extended MS-DOS (80286 and
higher processors with extended memory).  To install, just transfer a
compressed tar file of SETL2 binaries.  The tar file contains 1mb;
uncompressing it requires 4mb, which will collapse to 1mb after the
installation is complete.

To install SETL2, just ftp to cs.nyu.edu, login with user name
"anonymous" and password "guest", and look through the file names for
a machine that matches the one you want to install SETL2 on.  Alternatively,
use netscape to go to the SETL2 ftp site at URL

ftp://galt.mrl.nyu.edu/pub/setl2  

The directives below are used to install the Sparc version.

ftp cs.nyu.edu
anonymous
guest
cd pub/languages/setl2
ls
bin
hash
get Sun4.tar.Z
quit
uncompress Sun4.tar.Z
tar -vxf Sun4.tar #creates setl2-2.2 and subdirectories in current directory
\rm Sun4.tar

Suppose you performed the tar operation in path <dir>.  Then the SETL2
interpreter is in directory <dir>/setl2-2.2/bin, which must be added
to your path either in your .cshrc or .login file.  Also, all SETL2
programs must be placed by the SETL2 compiler into a SETL2 program
library before they can be executed.  The name of the file containing
this library is stored in environment flag SETL2_LIB.  The library
must first be created before it is ever used.  To create an empty
program library setl.lib, you type

stll -c setl.lib

Then to use it, you can place the command

setenv SETL2_LIB <full path to file setl.lib>

in your .cshrc or .login file.

Once your SETL2 library is created, you can compile a setl2 program named
ready in an arbitrary file, say readysim.stl, by typing

stlc -s readysim

where a listing with line numbers and errors is found in file

readysim.lis

Any program compiled into the setl2 program library can be executed using
the setl2 interpreter stlx.  For example, to execute program ready with
input ready.in, where output is to be placed in ready.out, just type

stlx ready < ready.in > ready.out