author wenzelm
Fri, 07 Mar 1997 15:51:31 +0100
changeset 2772 263c0c212dfe
parent 2759 79def3619417
child 3117 74c1b51c1cd9
permissions -rw-r--r--


IMPORTANT NOTE: This file describes the *new* installation procedure
using various scripts that are still supposed beta for Isabelle94-8.
If you encounter any problems, you may want to try compiling Isabelle
the olden way as described in README.


Isabelle installation notes

1. Unpacking

Unpacking the Isabelle distribution archive (using tar and gzip)
leaves you with some directory IsabelleYY-X. You may install this
anywhere, but please just *not* as ~/isabelle!

The place where you put the contents of IsabelleYY-X will be referred
to as [ISABELLE_HOME] subsequently.

2. Auto configuration

There are some minor adaptions to be made of the Isabelle distribution
to your system environment. Simply type:


3. ML system settings and compilation

Before actual compilation you have to tell Isabelle about your
Standard ML system.  These settings reside in ./etc/settings, which
may be also overridden by ~/isabelle/etc/settings. There are already
various sample configurations in ./etc/settings commented out.

To build the core Isabelle/Pure, now just type:


Objects logics can be made similarly, e.g.:

  ./build FOL HOL

4. Running the system

Provided that compilation was succesful, you can now run something

  [ISABELLE_HOME]/bin/isabelle FOL

to start and interactive Isabelle session within your current
terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
else -- or they just won't work!