INSTALL
author wenzelm
Tue, 22 Jul 1997 19:33:30 +0200
changeset 3552 f348e8a2db4b
parent 3322 bc4d107fb6dd
child 4260 f6bdfbd0e1c3
permissions -rw-r--r--
tuned error / warning;
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.
3322
wenzelm
parents: 3263
diff changeset
     6
If you encounter serious problems, you may want to consider compiling
3263
wenzelm
parents: 3117
diff changeset
     7
Isabelle the olden way, as described in README.old.
2759
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
3263
wenzelm
parents: 3117
diff changeset
    15
Unpacking the archive
wenzelm
parents: 3117
diff changeset
    16
---------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    17
3263
wenzelm
parents: 3117
diff changeset
    18
After unpacking the Isabelle distribution archive (using tar and gzip)
wenzelm
parents: 3117
diff changeset
    19
you are left with some directory IsabelleYY-X. You may install this
3117
wenzelm
parents: 2772
diff changeset
    20
anywhere, but please just *not* as ~/isabelle!!!
2759
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
3263
wenzelm
parents: 3117
diff changeset
    26
Auto configuration
wenzelm
parents: 3117
diff changeset
    27
------------------
2759
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
3263
wenzelm
parents: 3117
diff changeset
    36
ML system settings and compilation
wenzelm
parents: 3117
diff changeset
    37
----------------------------------
2759
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
3117
wenzelm
parents: 2772
diff changeset
    44
To build the core Isabelle/Pure and the default object-logic, just
wenzelm
parents: 2772
diff changeset
    45
type:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    46
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    47
  ./build
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    48
3117
wenzelm
parents: 2772
diff changeset
    49
More object-logics can be made similarly:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    50
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    51
  ./build FOL HOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    52
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    53
3263
wenzelm
parents: 3117
diff changeset
    54
Running the system
wenzelm
parents: 3117
diff changeset
    55
------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    56
3263
wenzelm
parents: 3117
diff changeset
    57
Provided that compilation was successful, you can now run something
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    58
like:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    59
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    60
  [ISABELLE_HOME]/bin/isabelle FOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    61
3263
wenzelm
parents: 3117
diff changeset
    62
This starts an interactive Isabelle session within your current text
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    63
terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
3263
wenzelm
parents: 3117
diff changeset
    64
search PATH. Please do *not* copy (or link) the Isabelle scripts
wenzelm
parents: 3117
diff changeset
    65
somewhere else -- or they just won't work!
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    66
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    67
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    68
$Id$