Lambda is written in ANSI C, with the exception of its lexical
analyzer and parser, which are written in Lex (Flex) and Yacc (Bison)
source, respectively.  It uses one UNIX System V system call (also
supported by SunOS Release 4.1).  The C programs that it generates
also conform to the ANSI standard; they use several UNIX System V
system calls (also supported by SunOS Release 4.1) in order to
implement checkpointing.

------------------------------------------------------------------------------

To make the executable, lambda, simply type the command

% make

Then, lambda can be installed in the appropriate bin directory.

NOTE: if you want to

 * use an ANSI C compiler other than the GNU C Compiler, GCC
 * use Lex rather than Flex
 * use Yacc rather than Bison

then follow the instructions in the file Makefile before attempting to
make lambda.

------------------------------------------------------------------------------

The implementation of Lambda is split into the following files:

interface.h
    Interface between main.c, lexer.l and parser.y

main.c
    Main module

lexer.l
    Lexical analyzer

parser.y
    Parser

mach.c
    The fixed part of the programs (closure machines) that Lambda
    generates.  Transformed into mach_text_decl.o and linked together
    with main.o by Makefile.

charstoc.c
    Program that converts its standard input into a pair of C declarations.
    Used by Makefile to convert mach.c into mach_text_decl.o.
