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