INSTALL
author wenzelm
Wed, 22 Dec 1999 20:29:59 +0100
changeset 8079 ccfc64f29333
parent 6486 1f1d5e00e0a5
child 8809 85539b33be03
permissions -rw-r--r--
raw_t(e)xt: any proof mode;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     1
6486
wenzelm
parents: 6416
diff changeset
     2
Isabelle compilation and installation notes
wenzelm
parents: 6416
diff changeset
     3
===========================================
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     4
3263
wenzelm
parents: 3117
diff changeset
     5
Unpacking the archive
wenzelm
parents: 3117
diff changeset
     6
---------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     7
3263
wenzelm
parents: 3117
diff changeset
     8
After unpacking the Isabelle distribution archive (using tar and gzip)
wenzelm
parents: 3117
diff changeset
     9
you are left with some directory IsabelleYY-X. You may install this
3117
wenzelm
parents: 2772
diff changeset
    10
anywhere, but please just *not* as ~/isabelle!!!
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    11
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    12
The place where you put the contents of IsabelleYY-X will be referred
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    13
to as [ISABELLE_HOME] subsequently.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    14
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    15
3263
wenzelm
parents: 3117
diff changeset
    16
Auto configuration
wenzelm
parents: 3117
diff changeset
    17
------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    18
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    19
There are some minor adaptions to be made of the Isabelle distribution
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    20
to your system environment. Simply type:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    21
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    22
  cd [ISABELLE_HOME]
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    23
  ./configure
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    24
6258
1f85c03fb3df no deps on compile time sources;
wenzelm
parents: 5396
diff changeset
    25
This does not store any references to [ISABELLE_HOME]. You may safely
1f85c03fb3df no deps on compile time sources;
wenzelm
parents: 5396
diff changeset
    26
move the system later, without running ./configure again.
1f85c03fb3df no deps on compile time sources;
wenzelm
parents: 5396
diff changeset
    27
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    28
3263
wenzelm
parents: 3117
diff changeset
    29
ML system settings and compilation
wenzelm
parents: 3117
diff changeset
    30
----------------------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    31
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    32
Before actual compilation you have to tell Isabelle about your
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    33
Standard ML system.  These settings reside in ./etc/settings, which
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    34
may be also overridden by ~/isabelle/etc/settings. There are already
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    35
various sample configurations in ./etc/settings commented out.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    36
3117
wenzelm
parents: 2772
diff changeset
    37
To build the core Isabelle/Pure and the default object-logic, just
wenzelm
parents: 2772
diff changeset
    38
type:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    39
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    40
  ./build
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    41
3117
wenzelm
parents: 2772
diff changeset
    42
More object-logics can be made similarly:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    43
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    44
  ./build FOL HOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    45
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    46
3263
wenzelm
parents: 3117
diff changeset
    47
Running the system
wenzelm
parents: 3117
diff changeset
    48
------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    49
3263
wenzelm
parents: 3117
diff changeset
    50
Provided that compilation was successful, you can now run something
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    51
like:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    52
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    53
  [ISABELLE_HOME]/bin/isabelle FOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    54
3263
wenzelm
parents: 3117
diff changeset
    55
This starts an interactive Isabelle session within your current text
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    56
terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
5395
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    57
search PATH.
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    58
6345
wenzelm
parents: 6258
diff changeset
    59
Please do *not* copy (or link) the Isabelle scripts anywhere else, or
wenzelm
parents: 6258
diff changeset
    60
they just won't work!  If you really feel the urge to install
wenzelm
parents: 6258
diff changeset
    61
independent Isabelle binaries anywhere else do it like this:
5396
wenzelm
parents: 5395
diff changeset
    62
6416
1452905753ab adapted isatool install;
wenzelm
parents: 6345
diff changeset
    63
  [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin
5396
wenzelm
parents: 5395
diff changeset
    64
2759
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$