|
1 How to install a 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 repository 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/ install PolyML and ProofGeneral. If you |
|
23 have already installed them elsewhere, it is sufficient to create a |
|
24 symbolic link in contrib to the main PolyML and ProofGeneral |
|
25 directories. The links should be called 'polyml' and 'ProofGeneral'. |
|
26 |
|
27 Before you can build logic images it is necessary to initialise |
|
28 generation of browser info. Change to the directory |
|
29 "$ISABELLE/Distribution/lib/browser" and issue |
|
30 make |
|
31 |
|
32 Java JDK 1.1 or greater needs to be installed for this to work. |
|
33 |
|
34 Now you can build images by going to corresponding folders and issuing: |
|
35 isatool make |
|
36 |
|
37 (for instance, in "$ISABELLE/HOL" in order to make HOL). This |
|
38 will create the directory "~/isabelle" (if not already present). |
|
39 |
|
40 After setting up the local copy of Isabelle, changes in the repository |
|
41 can be imported by: |
|
42 cvs update -d -P |
|
43 |
|
44 (-d causes cvs to create directories that have appeared in the |
|
45 repository since the last update, -P causes directories that have been |
|
46 removed from the repository to be pruned). |
|
47 |
|
48 Internal environment variables |
|
49 |
|
50 $ISABELLE_HOME is the directory "isabelle/Distribution" from above. |
|
51 $ISABELLE_HOME_USER is the directory "~/isabelle". |
|
52 |
|
53 |
|
54 $Id $ |