Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1988.

HOW TO INSTALL ABC:

You will need 2.5 megabytes in total to compile and load the ABC system.
To start type:

        ./Setup

which will ask you some questions to set the ABC system up on your
installation.  You can call "Setup" any number of times without spoiling
files.  So run it once to see what questions you will be asked.  If you
don't know the answer to some question, you can run it again.

        make makefiles
        make depend

will construct simple makefiles and makefiles with dependencies,
respectively, in the relevant subdirectories.

        make all

will compile and load the ABC system, producing the "abc" command file and
the binaries and datafiles it needs locally in this directory.  You can
test the ABC interpreter with:

        make examples

This runs some examples in ./ex. It does not test the ABC editor, however;
that can only be done interactively with

        make try_editor

Consult the sheet "HOW TO TRY THE ABC EDITOR" (also in ./README2).

If all is well and you want to make ABC public

        make install

will do some editing to get the right pathnames in, and install the "abc"
shell command file, the "abc.1" manual file, and the auxiliary files in the
directories you indicated during setup.  Finally

        make clean

will clean all intermediate object files from the source directories, and

        make clobber

will clean the automatically created makefiles from the subdirectories.

If you have made ABC public, all necessary files have been copied to the
public places, and you can get rid of the entire ABC file system hierarchy
you extracted from the tape, if you want.

If there are any problems, don't panic. See ./Problems for advice.  Also
edit the example Bug Report form in ./doc to communicate the problem to us.
We can then send out diffs for fixed problems in the future.

Above all, we would be very grateful to receive any comments you have about
the setup procedure, or the ABC system in general, on how to make it easier
to use.

Good luck!
