Admin/README.repos
changeset 27461 c2bba6a4d750
parent 14585 6cf696e5ef7f
child 27630 5580fcca2b5d
equal deleted inserted replaced
27460:145fa899fa3c 27461:c2bba6a4d750
     1 How to install a repository version of Isabelle.
     1 How to install a CVS repository version of Isabelle.
     2 
     2 
     3 The following assumes that you have successfully checked out Isabelle
     3 The following assumes that you have successfully checked out Isabelle
     4 from CVS into a directory $ISABELLE (by default 'isabelle')
     4 from CVS into a directory $ISABELLE (by default 'isabelle')
     5 
     5 
     6 The directory structure of the repository is different from the
     6 The directory structure of the CVS is different from the
     7 distribution. The root directory $ISABELLE is the src
     7 distribution. The root directory $ISABELLE is the src
     8 subdirectory in the distribution. The 'normal' distribution
     8 subdirectory in the distribution. The 'normal' distribution
     9 directories are found in $ISABELLE/Distribution.
     9 directories are found in $ISABELLE/Distribution.
    10 
    10 
    11 To work directly on a working copy of the repository, do the following:
    11 To work directly on a working copy of the repository, do the following:
    17 directory "$ISABELLE/Distribution"
    17 directory "$ISABELLE/Distribution"
    18    ln -s .. src
    18    ln -s .. src
    19 
    19 
    20 This tells the Isabelle binaries where to find the theories.
    20 This tells the Isabelle binaries where to find the theories.
    21 
    21 
    22 In $ISABELLE/Distribution/contrib install PolyML and
    22 In $ISABELLE/Distribution/contrib install Poly/ML and
    23 ProofGeneral. Download the corresponding packages from
    23 Proof General. Download the corresponding packages from
    24 http://isabelle.in.tum.de/dist/ and unpack them in
    24 http://isabelle.in.tum.de/dist/ and unpack them in
    25 $ISABELLE/Distribution/contrib.  If you have already installed them
    25 $ISABELLE/Distribution/contrib.  If you have already installed them
    26 elsewhere, it is sufficient to create a symbolic link in contrib to
    26 elsewhere, it is sufficient to create a symbolic link in contrib to
    27 the main PolyML and ProofGeneral directories. The links should be
    27 the main Poly/ML and ProofGeneral directories. The links should be
    28 called 'polyml' and 'ProofGeneral'.
    28 called 'polyml' and 'ProofGeneral'.
    29 
    29 
    30 Before you can build logic images it is necessary to initialise
    30 Building logic images with browser info generation (which is the
    31 generation of browser info.  Change to the directory
    31 default setting) requires a compiled version of the browser JVM
    32 "$ISABELLE/Distribution/lib/browser" and issue
    32 application.  Change to the directory
    33    make
    33 "$ISABELLE/Distribution/lib/browser" and issue make; this requires
    34 
    34 Java JDK 1.4 or greater.
    35 Java JDK 1.1 or greater needs to be installed for this to work.
       
    36 
    35 
    37 Now you can build images by going to corresponding folders and issuing:
    36 Now you can build images by going to corresponding folders and issuing:
    38    isatool make
    37    isatool make
    39 
    38 
    40 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    39 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    46 
    45 
    47 (-d causes cvs to create directories that have appeared in the
    46 (-d causes cvs to create directories that have appeared in the
    48 repository since the last update, -P causes directories that have been
    47 repository since the last update, -P causes directories that have been
    49 removed from the repository to be pruned).
    48 removed from the repository to be pruned).
    50 
    49 
    51 Internal environment variables
    50 Default Isabelle settings:
    52 
    51 
    53   $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    52   $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    54   $ISABELLE_HOME_USER is the directory "~/isabelle".
    53   $ISABELLE_HOME_USER is the directory "~/isabelle".
    55 
    54 
    56 
    55