INSTALL
author wenzelm
Tue, 11 Mar 1997 13:05:40 +0100
changeset 2781 0d6fcae3ae45
parent 2772 263c0c212dfe
child 3117 74c1b51c1cd9
permissions -rw-r--r--
added THIS_IS_ISABELLE_BUILD;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     1
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     2
***************************************************************************
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     3
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     4
IMPORTANT NOTE: This file describes the *new* installation procedure
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     5
using various scripts that are still supposed beta for Isabelle94-8.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     6
If you encounter any problems, you may want to try compiling Isabelle
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     7
the olden way as described in README.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     8
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     9
***************************************************************************
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    10
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    11
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    12
Isabelle installation notes
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    13
===========================
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    14
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    15
1. Unpacking
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    16
------------
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    17
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    18
Unpacking the Isabelle distribution archive (using tar and gzip)
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    19
leaves you with some directory IsabelleYY-X. You may install this
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    20
anywhere, but please just *not* as ~/isabelle!
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    21
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    22
The place where you put the contents of IsabelleYY-X will be referred
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    23
to as [ISABELLE_HOME] subsequently.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    24
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    25
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    26
2. Auto configuration
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    27
---------------------
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    28
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    29
There are some minor adaptions to be made of the Isabelle distribution
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    30
to your system environment. Simply type:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    31
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    32
  cd [ISABELLE_HOME]
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    33
  ./configure
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    34
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    35
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    36
3. ML system settings and compilation
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    37
-------------------------------------
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    38
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    39
Before actual compilation you have to tell Isabelle about your
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    40
Standard ML system.  These settings reside in ./etc/settings, which
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    41
may be also overridden by ~/isabelle/etc/settings. There are already
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    42
various sample configurations in ./etc/settings commented out.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    43
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    44
To build the core Isabelle/Pure, now just type:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    45
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    46
  ./build
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    47
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    48
Objects logics can be made similarly, e.g.:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    49
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    50
  ./build FOL HOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    51
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    52
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    53
4. Running the system
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    54
---------------------
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    55
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    56
Provided that compilation was succesful, you can now run something
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    57
like:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    58
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    59
  [ISABELLE_HOME]/bin/isabelle FOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    60
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    61
to start and interactive Isabelle session within your current
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    62
terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    63
PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    64
else -- or they just won't work!
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    65
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    66
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    67
$Id$