GUIDE TO APTS INSTALLATION

Systems Requirements:

SETL2 system executables:  1.5mb
APTS executables:  1.7mb
SETL-to-C translator executables:  7mb
CPU memory requirements:  32mb, preferably 64mb

In order to install APTS, the latest version of Kirk Snyder's SETL2
system (modified by Toto Paxia with an -o2 option) must first be
installed.  SETL2 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).   SETL2
may be obtained from the NYU department home page at URL

  http://cs.nyu.edu

under the topic 'Research' and subtopic 'Software'.

Once SETL2 is installed, we can then install APTS.  We will use only one
mode in which the whole system is regenerated from sources.

1. Download the file rapts.tar containing the APTS software and untar the 
file using the command

'tar xvf rapts.tar'


2.  assume environment flags for setl and apts are set

setenv SETL2_LIB <path>/rapts/setl.lib
setenv APTS_LIB  <path>/rapts/apts.lib
#create file setl.lib
stll -c setl.lib

3.  compile APTS in directory rapts/apts

source jcompile.apts

4.  complete installation of apts applications in geo and tests

o.  generate syntax for APTS metalanguagae in directory <path>/rapts

stlx apts
>: .........error message saying that apts.lib doesn't exist
>:rsl.boot
>:stop;
i.  Compile  setl syntax in directory <path>rapts

stlx apts
>:rslc snsetl; -- compile SETL syntax
>:stop; --get out of apts and compile foreign SETL2 module and interface

-------------------------------

ii.  Additional tests in directory rapts/tests - see file readme.tests

stlx apts
>:submit compile;   -- compile RSL tests
-- type in directives for tests 2 - 8

--------------------------------

iii.  Additional tests in directory rapts/geo - see file readme.geo

stlx apts
>:submit compile;  -- compile RSL geo package; then extend APTS
>:stop;
stlc -s -o2 decomp
stlc -s -o2 kforeign


stlx apts
>:submit solve;   -- execute geometry package on input.src and check solution
>:stop;           -- output.src and output.save should be identical
diff output.src output.save