INSTALL
changeset 16476 baa008d0fee9
parent 14024 213dcc39358f
child 16653 c12c2f411f77
equal deleted inserted replaced
16475:8f3ba52a7937 16476:baa008d0fee9
    34 This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
    34 This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
    35 
    35 
    36 The installation may be finished as follows:
    36 The installation may be finished as follows:
    37 
    37 
    38   cd [ISABELLE_HOME]
    38   cd [ISABELLE_HOME]
    39   ./configure
       
    40   ./bin/isatool install -p /usr/local/bin
    39   ./bin/isatool install -p /usr/local/bin
    41 
       
    42 Note that the configure script is only required for systems that do
       
    43 not have bash and perl in the canonical places (/bin/bash and
       
    44 /usr/bin/perl).
       
    45 
    40 
    46 The install utility creates global references to the present Isabelle
    41 The install utility creates global references to the present Isabelle
    47 installation, enabling users to invoke the Isabelle executables
    42 installation, enabling users to invoke the Isabelle executables
    48 without explicit path names.  Incidently, this is the only place where
    43 without explicit path names.  Incidently, this is the only place where
    49 a static reference to [ISABELLE_HOME] is created; thus isatool install
    44 a static reference to [ISABELLE_HOME] is created; thus isatool install