LP, the Larch Prover -- Installation instructions

• 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.