Admin/README.repos
author wenzelm
Thu Jul 03 13:17:19 2008 +0200 (2008-07-03)
changeset 27461 c2bba6a4d750
parent 14585 6cf696e5ef7f
child 27630 5580fcca2b5d
permissions -rw-r--r--
specific to CVS;
some updates for Java etc.;
     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.  Change to the directory
    33 "$ISABELLE/Distribution/lib/browser" and issue make; this requires
    34 Java JDK 1.4 or greater.
    35 
    36 Now you can build images by going to corresponding folders and issuing:
    37    isatool make
    38 
    39 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    40 will create the directory "~/isabelle" (if not already present).
    41 
    42 After setting up the local copy of Isabelle, changes in the repository
    43 can be imported by:
    44    cvs update -d -P
    45 
    46 (-d causes cvs to create directories that have appeared in the
    47 repository since the last update, -P causes directories that have been
    48 removed from the repository to be pruned).
    49 
    50 Default Isabelle settings:
    51 
    52   $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    53   $ISABELLE_HOME_USER is the directory "~/isabelle".
    54 
    55 
    56 $Id$