Admin/README.repos
author ballarin
Fri Aug 01 18:10:52 2008 +0200 (2008-08-01)
changeset 27717 21bbd410ba04
parent 27630 5580fcca2b5d
child 28504 7ad7d7d6df47
permissions -rw-r--r--
Generalised polynomial lemmas from cring to ring.
     1 How to install a CVS 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 CVS 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/contrib install Poly/ML and
    23 Proof General. Download the corresponding packages from
    24 http://isabelle.in.tum.de/dist/ and unpack them in
    25 $ISABELLE/Distribution/contrib.  If you have already installed them
    26 elsewhere, it is sufficient to create a symbolic link in contrib to
    27 the main Poly/ML and ProofGeneral directories. The links should be
    28 called 'polyml' and 'ProofGeneral'.
    29 
    30 Building logic images with browser info generation (which is the
    31 default setting) requires a compiled version of the browser JVM
    32 application.  Invoking ``$ISABELLE/Admin/build browser'' will do the
    33 job.
    34 
    35 Now you can build images by going to corresponding folders and issuing:
    36    isatool make
    37 
    38 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    39 will create the directory "~/isabelle" (if not already present).
    40 
    41 After setting up the local copy of Isabelle, changes in the repository
    42 can be imported by:
    43    cvs update -d -P
    44 
    45 (-d causes cvs to create directories that have appeared in the
    46 repository since the last update, -P causes directories that have been
    47 removed from the repository to be pruned).
    48 
    49 Default Isabelle settings:
    50 
    51   $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    52   $ISABELLE_HOME_USER is the directory "~/isabelle".
    53 
    54 
    55 $Id$