describe how to work on Isabelle repository version
authorkleing
Fri Apr 16 10:20:34 2004 +0200 (2004-04-16 ago)
changeset 14583efbee41e85c2
parent 14582 f0779f6fa7e8
child 14584 76b81ae4031f
describe how to work on Isabelle repository version
Admin/README.repos
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/README.repos	Fri Apr 16 10:20:34 2004 +0200
     1.3 @@ -0,0 +1,54 @@
     1.4 +How to install a repository version of Isabelle.
     1.5 +
     1.6 +The following assumes that you have successfully checked out Isabelle
     1.7 +from CVS into a directory $ISABELLE (by default 'isabelle')
     1.8 +
     1.9 +The directory structure of the repository is different from the
    1.10 +distribution. The root directory $ISABELLE is the src
    1.11 +subdirectory in the distribution. The 'normal' distribution
    1.12 +directories are found in $ISABELLE/Distribution.
    1.13 +
    1.14 +To work directly on a working copy of the repository, do the following:
    1.15 +
    1.16 +Change directory to "$ISABELLE/Distribution/bin" and execute:
    1.17 +   ./isatool install -p ~/bin
    1.18 +
    1.19 +This will install Isabelle executables in ~/bin.  Then issue in
    1.20 +directory "$ISABELLE/Distribution"
    1.21 +   ln -s .. src
    1.22 +
    1.23 +This tells the Isabelle binaries where to find the theories.
    1.24 +
    1.25 +In $ISABELLE/Distribution/ install PolyML and ProofGeneral. If you
    1.26 +have already installed them elsewhere, it is sufficient to create a
    1.27 +symbolic link in contrib to the main PolyML and ProofGeneral
    1.28 +directories. The links should be called 'polyml' and 'ProofGeneral'.
    1.29 +
    1.30 +Before you can build logic images it is necessary to initialise
    1.31 +generation of browser info.  Change to the directory
    1.32 +"$ISABELLE/Distribution/lib/browser" and issue
    1.33 +   make
    1.34 +
    1.35 +Java JDK 1.1 or greater needs to be installed for this to work.
    1.36 +
    1.37 +Now you can build images by going to corresponding folders and issuing:
    1.38 +   isatool make
    1.39 +
    1.40 +(for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    1.41 +will create the directory "~/isabelle" (if not already present).
    1.42 +
    1.43 +After setting up the local copy of Isabelle, changes in the repository
    1.44 +can be imported by:
    1.45 +   cvs update -d -P
    1.46 +
    1.47 +(-d causes cvs to create directories that have appeared in the
    1.48 +repository since the last update, -P causes directories that have been
    1.49 +removed from the repository to be pruned).
    1.50 +
    1.51 +Internal environment variables
    1.52 +
    1.53 +  $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    1.54 +  $ISABELLE_HOME_USER is the directory "~/isabelle".
    1.55 +
    1.56 +
    1.57 +$Id $
    1.58 \ No newline at end of file