This directory contains a number of example lambda definability
problems (in .lam files), together with their solutions (in
corresponding .out files).

It also contains the file Makefile, which informs the make program how
to make an executable from a .lam file.  If a copy of Makefile appears
in your current working directory, then typing the command

% make root

will make the executable root from the file root.lam by carrying out
the following steps.  First, Lambda will be applied to root.lam,
resulting in root.c.  Second, root.c will be compiled using the GNU C
Compiler, and the resulting executable will be named root.  Finally,
the intermediate file root.c will be deleted.  Running root will then
cause the solution to the problem of root.lam to be generated.

For example, if you copy the files por1.lam and Makefile
to your current working directory, then running the commands

% make por1
% por1

will generate the solution that is contained in the file por1.out.

If the -O2 option (`optimize even more') is removed from the
definition of CFLAGS in Makefile, then GCC will run faster but the
code that it produces will run slower.  If you wish to use an ANSI C
compiler other than GCC, simply change the definitions of CC and
CFLAGS, as appropriate.
