LP, the Larch Prover -- Installation instructions
To install LP, proceed as follows.
Install the executable version of LP in some directory that occurs on your Unix
search path before /usr/bin (which contains a Unix line printer utility
also called lp). Remove the platform name as you do this, for example, by
typing the command mv lp-linux /usr/local/bin/lp. If necessary, use the
chmod command to make this file executable.
Unpack LP's run-time library by typing tar xf lp-lib.tar. This will
create a directory named ``lprelease'', where release identifies
the version of LP supported by the library.
If possible, make /usr/local/lib/LP a symbolic link to this directory, or
copy the contents of this directory to /usr/local/lib/LP. If you cannot
do this, alias the command lp to ``lp -d dir'', where dir is
the name of the directory you created.
If possible, copy the man page for LP, LP/docs/lp.l, to
/usr/man/manl. This makes it possible for users to see the man page for
LP by typing man l lp.