STARTUP INSTRUCTIONS FOR RUNNING SETL2 PROGRAMS AT NYU

1.  logout and login again before using the SETL system for the
first time.

2.  After that, type the following to create your SETL2 program
library named setl2.lib (or any other name you wish to use).

stll -c setl2.lib

The command just above only needs to be typed once.  After that typing

setenv SETL2_LIB <full path name to file setl2.lib>

will let the SETL2 system know where the library is.  You can put the
setenv command in your .login file in order to avoid repeated typing
of this command.

3.  To compile a setl PROGRAM called reach (the name given in the
SETL2 program statement) on FILE fname.stl type

stlc -s fname

Compile errors are reported with numbered source program lines on file

fname.lis

After successful compilation, program reach is included in SETL2 program
library setl2.lib

4.  Execute PROGRAM reach (whose executable form is in the program library
setl2.lib) by typing

stlx reach

The following is a trivial SETL2 test program.

program test;
  print("hello world");
end;