INSTALL
author wenzelm
Mon Feb 08 15:55:35 1999 +0100 (1999-02-08)
changeset 6258 1f85c03fb3df
parent 5396 cfc1fe0b8490
child 6345 f4a3c3bb3e38
permissions -rw-r--r--
no deps on compile time sources;
     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 --
    60 or they just won't work!  If you really feel the urge to install
    61 independent Isabelle binaries somewhere you should rather do it like
    62 this:
    63 
    64   [ISABELLE_HOME]/bin/isatool install /usr/local/bin
    65 
    66 
    67 
    68 $Id$