To compile Otter on a unix-like system, first try

   make

If that fails, see Makefile for clues on getting it to compile.

Linux: (Redhat 6.1) it compiles wihtout compliant.

Solaris: (SunOS 5.7) I highly recommend using Makefile.solaris,
which gives the compiler the -DTP_NO_CLOCKS flag.  This disables
most internal timing, and gives speedups of up to 3, because
the getrusage() system call on Solaris is VERY slow.

Other operating systems: I haven't tried any recently, but many
others should work without much difficulty.
