# $Header: /usr/export/home/projects/ltg2/Pleuk/Distribution/Pleuk/RCS/INSTALL,v 1.0 1993/04/27 09:06:18 pleuk Exp $
# $Log: INSTALL,v $
# Revision 1.0  1993/04/27  09:06:18  pleuk
# Version 1.00beta from Jo
#
[The following excerpted from Pleuk/Doc/Info/overview.texinfo]

Installation
============
[As of 6th April 1993]

Check the file `Pleuk/VersionNumbers' to verify that you have
appropriate software to allow Pleuk to run at your site.  Note that,
with the exception of SICStus Prolog, all of the programs required to
run Pleuk are either standard UNIX utilities or are available at no
charge from a large number of FTP sites.  


Installation Steps
------------------

1. Check the file `Pleuk/Makefile.defs'.  There are a number of
items which you should verify.  These are preceded by a line containing
the words `Site specific' in the file.

`PLEUKHOME' should be set to a path name visible from all machines on
which Pleuk will be run.  

`DEFAULTSPEC' should be set to the Specialization you want Pleuk to
start by default.  

`ALLSPECS' should be set to a list of all specializations available.
You don't want to alter this unless you write your own specialization. 

The names of the various utility programs should be checked and the
variable `ISPGMPATH' should be set to the full path which leads to
the GM executable (typically, `library/gmlib/ispgm.sun4' or some
such, in the SICStus area).  

Locate the directory `Runtime' in the SICStus distribution.  Set
the variable `PROLOGINCDIR' to point at this directory. 

Verify that the variable `TEMPORARYFILETEMPLATE' points into an
area whose file system allows named pipes.  

You should not need to alter the file Makefile!

2. Invoke make

There are a number of choices.  The recommended form is 

`make standard'

which will build the system, the default specialization and the demo
specialization `cfg'.  

`make DEFAULTSPEC=SPECNAME'

will build the specialization named SPECNAME and the remainder
of the system.  You should use this form if you want to install a
particular specialization as a default.

`make all'

will install all specializations

3. Test the demo program by saying 

`./etc/cfg'

Windows called "Pleuk Files" and "Pleuk Output" should then be
placed on the screen.  

The manual refers to a UNIX command `cfg', but neither this nor
`phpsg' or `pleuk' are automatically installed in an
appropriate area. If required, invoke

`cd etc; make install'

running as root.  This will create a symbolic link from a local 
area containing executable files (by default, `/usr/local/bin') to
the necessary files. 


Making Other Specializations
............................

In order to install specializations selectively, one can say 

`make SPEC=DIR'

where DIR is the name of the directory containing the
code for the specialization in question.  

For improved speed in loading Prolog code, one may compile the Prolog
files in `Pleuk/Code' by saying 
     make prolog_objects
in that directory.  

It is also possible to compile the files that define some
specialization.  One should first check whether a Makefile for that
specialization contains a statement of an operators file.  If so, this
file should be loaded into Prolog before any file-to-file compilation
takes place.

