Admin/README.repos
author wenzelm
Sat, 04 Oct 2008 17:40:56 +0200
changeset 28504 7ad7d7d6df47
parent 27630 5580fcca2b5d
permissions -rw-r--r--
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
     1
How to install a CVS repository version of Isabelle.
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     2
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     3
The following assumes that you have successfully checked out Isabelle
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     4
from CVS into a directory $ISABELLE (by default 'isabelle')
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     5
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
     6
The directory structure of the CVS is different from the
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     7
distribution. The root directory $ISABELLE is the src
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     8
subdirectory in the distribution. The 'normal' distribution
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
     9
directories are found in $ISABELLE/Distribution.
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    10
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    11
To work directly on a working copy of the repository, do the following:
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    12
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    13
Change directory to "$ISABELLE/Distribution/bin" and execute:
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 27630
diff changeset
    14
   ./isabelle install -p ~/bin
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    15
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    16
This will install Isabelle executables in ~/bin.  Then issue in
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    17
directory "$ISABELLE/Distribution"
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    18
   ln -s .. src
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    19
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    20
This tells the Isabelle binaries where to find the theories.
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    21
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    22
In $ISABELLE/Distribution/contrib install Poly/ML and
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    23
Proof General. Download the corresponding packages from
14585
6cf696e5ef7f say how to install PG and poly
kleing
parents: 14584
diff changeset
    24
http://isabelle.in.tum.de/dist/ and unpack them in
6cf696e5ef7f say how to install PG and poly
kleing
parents: 14584
diff changeset
    25
$ISABELLE/Distribution/contrib.  If you have already installed them
6cf696e5ef7f say how to install PG and poly
kleing
parents: 14584
diff changeset
    26
elsewhere, it is sufficient to create a symbolic link in contrib to
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    27
the main Poly/ML and ProofGeneral directories. The links should be
14585
6cf696e5ef7f say how to install PG and poly
kleing
parents: 14584
diff changeset
    28
called 'polyml' and 'ProofGeneral'.
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    29
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    30
Building logic images with browser info generation (which is the
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    31
default setting) requires a compiled version of the browser JVM
27630
5580fcca2b5d Admin/build browser;
wenzelm
parents: 27461
diff changeset
    32
application.  Invoking ``$ISABELLE/Admin/build browser'' will do the
5580fcca2b5d Admin/build browser;
wenzelm
parents: 27461
diff changeset
    33
job.
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    34
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    35
Now you can build images by going to corresponding folders and issuing:
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 27630
diff changeset
    36
   isabelle make
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    37
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    38
(for instance, in "$ISABELLE/HOL" in order to make HOL).  This
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    39
will create the directory "~/isabelle" (if not already present).
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    40
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    41
After setting up the local copy of Isabelle, changes in the repository
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    42
can be imported by:
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    43
   cvs update -d -P
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    44
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    45
(-d causes cvs to create directories that have appeared in the
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    46
repository since the last update, -P causes directories that have been
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    47
removed from the repository to be pruned).
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    48
27461
c2bba6a4d750 specific to CVS;
wenzelm
parents: 14585
diff changeset
    49
Default Isabelle settings:
14583
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    50
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    51
  $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    52
  $ISABELLE_HOME_USER is the directory "~/isabelle".
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    53
efbee41e85c2 describe how to work on Isabelle repository version
kleing
parents:
diff changeset
    54
14584
76b81ae4031f fix cvs id
kleing
parents: 14583
diff changeset
    55
$Id$