Admin/README.repos
author kleing
Fri Apr 16 10:20:34 2004 +0200 (2004-04-16 ago)
changeset 14583 efbee41e85c2
child 14584 76b81ae4031f
permissions -rw-r--r--
describe how to work on Isabelle repository version
     1 How to install a repository version of Isabelle.
     2 
     3 The following assumes that you have successfully checked out Isabelle
     4 from CVS into a directory $ISABELLE (by default 'isabelle')
     5 
     6 The directory structure of the repository is different from the
     7 distribution. The root directory $ISABELLE is the src
     8 subdirectory in the distribution. The 'normal' distribution
     9 directories are found in $ISABELLE/Distribution.
    10 
    11 To work directly on a working copy of the repository, do the following:
    12 
    13 Change directory to "$ISABELLE/Distribution/bin" and execute:
    14    ./isatool install -p ~/bin
    15 
    16 This will install Isabelle executables in ~/bin.  Then issue in
    17 directory "$ISABELLE/Distribution"
    18    ln -s .. src
    19 
    20 This tells the Isabelle binaries where to find the theories.
    21 
    22 In $ISABELLE/Distribution/ install PolyML and ProofGeneral. If you
    23 have already installed them elsewhere, it is sufficient to create a
    24 symbolic link in contrib to the main PolyML and ProofGeneral
    25 directories. The links should be called 'polyml' and 'ProofGeneral'.
    26 
    27 Before you can build logic images it is necessary to initialise
    28 generation of browser info.  Change to the directory
    29 "$ISABELLE/Distribution/lib/browser" and issue
    30    make
    31 
    32 Java JDK 1.1 or greater needs to be installed for this to work.
    33 
    34 Now you can build images by going to corresponding folders and issuing:
    35    isatool make
    36 
    37 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    38 will create the directory "~/isabelle" (if not already present).
    39 
    40 After setting up the local copy of Isabelle, changes in the repository
    41 can be imported by:
    42    cvs update -d -P
    43 
    44 (-d causes cvs to create directories that have appeared in the
    45 repository since the last update, -P causes directories that have been
    46 removed from the repository to be pruned).
    47 
    48 Internal environment variables
    49 
    50   $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    51   $ISABELLE_HOME_USER is the directory "~/isabelle".
    52 
    53 
    54 $Id $