Package Dependencies
====================

   Before you build and optionally install this software, you must
make sure that the Objective Caml programming language system is
installed.  This package is available at

   http://caml.inria.fr/

   The SLAT build procedure uses the bytecode Objective Caml compiler.
When building Objective Caml from sources, you can use the command

   $ make world

before installing the system.  See Objective Caml's INSTALL file for
detailed installation instructions.

Basic Installation
==================

   To install SLAT, the only thing you must do is type

   $ ./configure
   $ make

You can now run slat from within the build directory.

Installation Prefix
===================

   The configure script creates a makefile.  The most useful option to
the configure script is `--prefix=PATH'.  To install slat in
/usr/selinux/bin, use the commands

   $ ./configure --prefix=/usr/selinux
   $ make
   $ make install

Building from the Sources in the CVS Repository
===============================================

If you check out the sources from a CVS repository, you may not have a
configure script.  In this case, precede the previous commands with
the following command.

   $ autoreconf -i

Installation Names
==================

   By default, `make install' will install the package's files in
`/usr/local/bin', `/usr/local/man', etc.  You can specify an
installation prefix other than `/usr/local' by giving `configure' the
option `--prefix=PATH'.

   You can specify separate installation prefixes for
architecture-specific files and architecture-independent files.  If you
give `configure' the option `--exec-prefix=PATH', the package will use
PATH as the prefix for installing programs and libraries.
Documentation and other data files will still use the regular prefix.

   In addition, if you use an unusual directory layout you can give
options like `--bindir=PATH' to specify different values for particular
kinds of files.  Run `configure --help' for a list of the directories
you can set and what kinds of files go in them.
