REDUCE

26.1 Installation

This section gives instructions for the Installation of PSL 4.2 on your UNIX system. It does not apply for other operating systems such as VMS, MVS, DOS etc, and it does not apply for distribution on diskettes (e.g. all PC systems, IBM RS/6000, NeXT). Please read special instructions (below) for the system mentioned above.

The Installation procedure described below uses csh syntax. If you don’t have csh installed on your system, please change the commands accordingly.

PSL is stored as a single file tree with two directories on the top level, called bin and dist, where the later contains all sources and some more binary files.

The installation is relatively simple.

26.1.1 Reading the tape

The tape contains a compressed file tree. Please cd to the directory where you want to store the files (called PSL root directory later on) and enter

dd if=/dev/tape ibs=51200 | uncompress | tar -xf -

Please replace /dev/tape in the above command with the correct name of your tape drive.

26.1.2 Reading the tape for IBM RS/6000

The PSL file tree for the IBM RS/6000 is configured in the same way as for other Unix type workstations. The installation needs an additional step.

The installation procedure described below assumes that you use the C-Shell. If you use different shells please change commands accordingly.

To read the tape, make a directory with a name like .../psl, cd to that directory, and do, after putting the tape into the drive,

     tar -xf /dev/rfd0

You first need to install a syscall into the AIX system. In order to do this, YOU NEED SUPER USER PRIVILEGE. To install the syscall, do

   su  
   cd ./dist/kernel/ibmrs/syscall  
   ./install  
   ./installsysc  
   exit

The script install compiles and installs the required system call. The script installsysc in the same directory installs the system call only. With any reboot of the system it is mandatory to run installsysc in the directory ./dist/kernel/ibmrs/syscall. It is suggested that this is included into the AIX boot files. The sources of the syscall can be found in ./dist/kernel/ibmrs/syscall too.

26.1.3 Reading Diskettes for LINUX 386

The PSL file tree for LINUX is compressed on to 3 diskettes for distribution. The 3 diskettes require about 4 megabytes of disk space to dump. However, you must then rebuild the binary files for your machine before you can do anything. Instructions on doing this are given below. If the files for your machine are built, the file tree then requires about 30 megabytes during the build (but less when complete).

To read the diskettes, make a directory with a name like .../psl, cd to that directory, and do, after putting DISK # 1 into the floppy disk reader,

     tar -xf /dev/fd0H1440  
     install_psl

The script install_psl prompts for the other disks and will uncompress the files.

If there is an incompatibility between the delivered exeutable and your Linux version, or when you upgrade your Linux version and PSL becomes inoperable, you must recompile the executable bpsl:

    cd $pxk/linux  
    cclnk

After this step you should rebuild the image files using the scripts in $psl/distrib.

26.1.4 Customizing Makefiles and scripts

In the next step the system must get knowledge about the PSL root directory and the machine architecture. The correct name for the architecture in the PSL file tree can be found in the table below.

 
        Machine        Operating system      PSL MACHINE name  
 
        CDC 4xxx        EP/IX                   mips_cdc     ++  
        Convex Cxxxx                            convex       ++  
        Convex SPP                              convex_spp  
        Cray 1, X-MP    UNICOS                  crayxmp  
        Cray Y-MP       UNICOS                  crayymp  
        Cray C90        UNICOS                  crayymp  
        Cray T3D/E      UNICOS                  cray_t3d  
        DECStation      ULTRIX                  Mips_dec  
        DEC Alpha       OSF/1 (DEC Unix)        Alpha  
        DEC Alpha       Linux                   Alpha_Linux  
        DEC VAX         ULTRIX                  vax  
        DG AViiON       DG-UX                   88k-aviion    ++  
        HP9000/300 400  HP-UX                   bobcat        ++  
        HP9000/700      HP-UX                   Snake  
        HP9000/800      HP-UX                   spectrum      ++  
        IBM RS/6000     Aix                     Ibmrs  
        IBM SP2         (the RS/6000 version happens to work)  
        Intel 386       Linux                   Linux  
        Intel 386 ELF   Linux (ELF)             Linux_elf  
        Intel x86       Solaris 2.x             Solarisx86  
        SGI Iris/Indigo Irix                    Mips_iris  
        SGI Iris/Indigo Irix64                  Mips_iris_64  
        Sun 3           SunOS                   sun           ++  
        Sparc           SunOS (Solaris1.x)      Sun4  
        Sparc           Solaris 2.x             Solaris  
        UltraSparc      Solaris 2.x             Ultrasparc  
 
++ This version may be not supported in future version.  

The script dist/distrib/newroot.csh will modify various Makefiles and scripts, especially dist/psl-names. It must be started with the PSL root directory and MACHINE name as parameter, e.g. for a Sparc under SUNOS:

dist/distrib/newroot.csh ‘pwd‘ Sun4

After that the file dist/psl-names contains the settings for the PSL specific environment variables such as $psys. It must be read in by the PSL user to insure correct operation,e.g. for a Sparc machine under SunOS:

setenv MACHINE Sun4  
source <PSL root directory>/dist/psl-names

This installation is designed for usage with multiple machine types, it saves disk space by sharing the PSL code (.sl files). The variable MACHINE is used to specify the machine type. If you install a single version of PSL it may be useful to replace MACHINE by the correct value in the file < PSLrootdirectory >/dist/psl-names. In this case the user does not need to specify the MACHINE environment variable.

To test the installation, you can try the following commands which are supposed to run without error message:

$psys/psl  
(load inum)  
(quit)

If you change files, e.g. when you receive a bug fix, please put the file into the correct place , cd to the directory $psl and simply say make. This will compile the file (and maybe some files which depend on this), and produce new binaries.

26.1.5 Printing Documentation

The documentation for PSL (User’s Manual and some more documents) can be found in the directories dist/doc and dist/lpt and dist/manual (in LATEX or plain ASCII print format)