1 |
1 |
2 *************************************************************************** |
2 *************************************************************************** |
3 |
3 |
4 IMPORTANT NOTE: This file describes the *new* installation procedure |
4 IMPORTANT NOTE: This file describes the *new* installation procedure |
5 using various scripts that are still supposed beta for Isabelle94-8. |
5 using various scripts that are still supposed beta for Isabelle94-8. |
6 If you encounter any problems, you may want to try compiling Isabelle |
6 If you encounter any problems, you may want to consider compiling |
7 the olden way as described in README. |
7 Isabelle the olden way, as described in README.old. |
8 |
8 |
9 *************************************************************************** |
9 *************************************************************************** |
10 |
10 |
11 |
11 |
12 Isabelle installation notes |
12 Isabelle installation notes |
13 =========================== |
13 =========================== |
14 |
14 |
15 1. Unpacking |
15 Unpacking the archive |
16 ------------ |
16 --------------------- |
17 |
17 |
18 Unpacking the Isabelle distribution archive (using tar and gzip) |
18 After unpacking the Isabelle distribution archive (using tar and gzip) |
19 leaves you with some directory IsabelleYY-X. You may install this |
19 you are left with some directory IsabelleYY-X. You may install this |
20 anywhere, but please just *not* as ~/isabelle!!! |
20 anywhere, but please just *not* as ~/isabelle!!! |
21 |
21 |
22 The place where you put the contents of IsabelleYY-X will be referred |
22 The place where you put the contents of IsabelleYY-X will be referred |
23 to as [ISABELLE_HOME] subsequently. |
23 to as [ISABELLE_HOME] subsequently. |
24 |
24 |
25 |
25 |
26 2. Auto configuration |
26 Auto configuration |
27 --------------------- |
27 ------------------ |
28 |
28 |
29 There are some minor adaptions to be made of the Isabelle distribution |
29 There are some minor adaptions to be made of the Isabelle distribution |
30 to your system environment. Simply type: |
30 to your system environment. Simply type: |
31 |
31 |
32 cd [ISABELLE_HOME] |
32 cd [ISABELLE_HOME] |
33 ./configure |
33 ./configure |
34 |
34 |
35 |
35 |
36 3. ML system settings and compilation |
36 ML system settings and compilation |
37 ------------------------------------- |
37 ---------------------------------- |
38 |
38 |
39 Before actual compilation you have to tell Isabelle about your |
39 Before actual compilation you have to tell Isabelle about your |
40 Standard ML system. These settings reside in ./etc/settings, which |
40 Standard ML system. These settings reside in ./etc/settings, which |
41 may be also overridden by ~/isabelle/etc/settings. There are already |
41 may be also overridden by ~/isabelle/etc/settings. There are already |
42 various sample configurations in ./etc/settings commented out. |
42 various sample configurations in ./etc/settings commented out. |
49 More object-logics can be made similarly: |
49 More object-logics can be made similarly: |
50 |
50 |
51 ./build FOL HOL |
51 ./build FOL HOL |
52 |
52 |
53 |
53 |
54 4. Running the system |
54 Running the system |
55 --------------------- |
55 ------------------ |
56 |
56 |
57 Provided that compilation was succesful, you can now run something |
57 Provided that compilation was successful, you can now run something |
58 like: |
58 like: |
59 |
59 |
60 [ISABELLE_HOME]/bin/isabelle FOL |
60 [ISABELLE_HOME]/bin/isabelle FOL |
61 |
61 |
62 to start and interactive Isabelle session within your current |
62 This starts an interactive Isabelle session within your current text |
63 terminal. You may want to put [ISABELLE_HOME]/bin into your shell's |
63 terminal. You may want to put [ISABELLE_HOME]/bin into your shell's |
64 PATH. Please do *not* copy (or link) the Isabelle scripts somewhere |
64 search PATH. Please do *not* copy (or link) the Isabelle scripts |
65 else -- or they just won't work! |
65 somewhere else -- or they just won't work! |
66 |
66 |
67 |
67 |
68 $Id$ |
68 $Id$ |