INSTALL
author mueller
Mon, 19 Oct 1998 13:34:19 +0200
changeset 5670 5e7d9455de96
parent 5396 cfc1fe0b8490
child 6258 1f85c03fb3df
permissions -rw-r--r--
solved conflict by taking newest version;
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
Isabelle installation notes
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
     3
===========================
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
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    25
3263
wenzelm
parents: 3117
diff changeset
    26
ML system settings and compilation
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
Before actual compilation you have to tell Isabelle about your
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    30
Standard ML system.  These settings reside in ./etc/settings, which
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    31
may be also overridden by ~/isabelle/etc/settings. There are already
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    32
various sample configurations in ./etc/settings commented out.
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    33
3117
wenzelm
parents: 2772
diff changeset
    34
To build the core Isabelle/Pure and the default object-logic, just
wenzelm
parents: 2772
diff changeset
    35
type:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    36
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    37
  ./build
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    38
3117
wenzelm
parents: 2772
diff changeset
    39
More object-logics can be made similarly:
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    40
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    41
  ./build FOL HOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    42
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    43
3263
wenzelm
parents: 3117
diff changeset
    44
Running the system
wenzelm
parents: 3117
diff changeset
    45
------------------
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    46
3263
wenzelm
parents: 3117
diff changeset
    47
Provided that compilation was successful, you can now run something
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    48
like:
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    49
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    50
  [ISABELLE_HOME]/bin/isabelle FOL
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    51
3263
wenzelm
parents: 3117
diff changeset
    52
This starts an interactive Isabelle session within your current text
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    53
terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
5395
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    54
search PATH.
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    55
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    56
Please do *not* copy (or link) the Isabelle scripts anywhere else --
b890c27c93d6 isatool install;
wenzelm
parents: 4260
diff changeset
    57
or they just won't work!  If you really feel the urge to install
5396
wenzelm
parents: 5395
diff changeset
    58
independent Isabelle binaries somewhere you should rather do it like
wenzelm
parents: 5395
diff changeset
    59
this:
wenzelm
parents: 5395
diff changeset
    60
wenzelm
parents: 5395
diff changeset
    61
  [ISABELLE_HOME]/bin/isatool install /usr/local/bin
wenzelm
parents: 5395
diff changeset
    62
2759
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    63
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    64
79def3619417 Isabelle installation notes;
wenzelm
parents:
diff changeset
    65
$Id$