INSTALL
author wenzelm
Thu Aug 27 18:34:55 1998 +0200 (1998-08-27)
changeset 5395 b890c27c93d6
parent 4260 f6bdfbd0e1c3
child 5396 cfc1fe0b8490
permissions -rw-r--r--
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 
    26 ML system settings and compilation
    27 ----------------------------------
    28 
    29 Before actual compilation you have to tell Isabelle about your
    30 Standard ML system.  These settings reside in ./etc/settings, which
    31 may be also overridden by ~/isabelle/etc/settings. There are already
    32 various sample configurations in ./etc/settings commented out.
    33 
    34 To build the core Isabelle/Pure and the default object-logic, just
    35 type:
    36 
    37   ./build
    38 
    39 More object-logics can be made similarly:
    40 
    41   ./build FOL HOL
    42 
    43 
    44 Running the system
    45 ------------------
    46 
    47 Provided that compilation was successful, you can now run something
    48 like:
    49 
    50   [ISABELLE_HOME]/bin/isabelle FOL
    51 
    52 This starts an interactive Isabelle session within your current text
    53 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    54 search PATH.
    55 
    56 Please do *not* copy (or link) the Isabelle scripts anywhere else --
    57 or they just won't work!  If you really feel the urge to install
    58 independent Isabelle binaries somewhere use
    59 [ISABELLE_HOME]/bin/isatool install (see the system manual for more
    60 information).
    61 
    62 
    63 $Id$