author | wenzelm |
Tue, 12 Sep 2000 17:01:14 +0200 | |
changeset 9934 | aea053733eb0 |
parent 9925 | 40f02ebcb3c0 |
child 9946 | bca0749bb907 |
permissions | -rw-r--r-- |
8056 | 1 |
%title% |
2 |
Isabelle Binary Distribution |
|
3 |
||
4 |
%body% |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
5 |
|
9934 | 6 |
<p> |
7 |
||
8 |
The binary distribution is designed for easy installation of Isabelle |
|
9 |
and related tools (Proof General and X-Symbol) on common platforms. |
|
10 |
There is no manual intervention requires, no need to edit config files |
|
11 |
etc. by hand. |
|
12 |
||
13 |
||
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
14 |
<h2>(1) Linux/x86 systems with RPM</h2> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
15 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
16 |
This is the binary distribution of <!-- _GP_ distname --> for |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
17 |
Linux/x86 systems. It requires RPM based package management (as used |
9925 | 18 |
by most Linux distributions), and root user access to install. |
8056 | 19 |
|
20 |
<p> |
|
21 |
||
22 |
<!-- _GP_ setdowncolor("#E0E0E0") --> |
|
23 |
<center> |
|
24 |
<table border="0" cellspacing="5" cellpadding="4" width="520"> |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
25 |
<!-- _GP_ download("Poly/ML system", "contrib/polyml.i386.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
26 |
<!-- _GP_ download("Isabelle main system", "isabelle.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
27 |
<!-- _GP_ download("Isabelle/HOL image", "isabelle-HOL.i386.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
28 |
<!-- _GP_ download("Isabelle/HOL-Real image (optional)", "isabelle-HOL-Real.i386.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
29 |
<!-- _GP_ download("Isabelle/ZF image (optional)", "isabelle-ZF.i386.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
30 |
<!-- _GP_ download("Isabelle pdf documentation (optional)", "isabelle-pdfdocs.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
31 |
<!-- _GP_ download("Proof General system (recommended)", "contrib/proofgeneral.rpm", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
32 |
<!-- _GP_ download("X-Symbol package (recommended)", "contrib/xsymbol.rpm", "../..") --> |
8056 | 33 |
</table> |
34 |
</center> |
|
35 |
||
36 |
<p> |
|
37 |
||
9925 | 38 |
Example installation in <tt>/usr/share</tt> (the default location): |
8056 | 39 |
|
40 |
<pre> |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
41 |
rpm -i --prefix /usr/share polyml.i386.rpm |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
42 |
rpm -i --prefix /usr/share isabelle.rpm |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
43 |
rpm -i --prefix /usr/share isabelle-HOL.i386.rpm |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
44 |
rpm -i --prefix /usr/share proofgeneral.rpm #requires XEmacs-21 |
9925 | 45 |
rpm -i --prefix /usr/share xsymbol.rpm |
8056 | 46 |
</pre> |
8070 | 47 |
|
48 |
<p> |
|
49 |
||
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
50 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
51 |
<h2>(2) Generic Linux/x86 or Solaris/Sparc systems</h2> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
52 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
53 |
The following distribution of <!-- _GP_ distname --> works for any |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
54 |
Linux/x86 or Solaris/Sparc system -- only Poly/ML is platform |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
55 |
dependent. Installation does not rely on package management; it may |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
56 |
be performed by non-root users as well. |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
57 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
58 |
<p> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
59 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
60 |
<!-- _GP_ setdowncolor("#E0E0E0") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
61 |
<center> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
62 |
<table border="0" cellspacing="5" cellpadding="4" width="520"> |
9925 | 63 |
<!-- _GP_ download("Poly/ML base system", "contrib/polyml_base.tar.gz", "../..") --> |
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
64 |
<!-- _GP_ download("Poly/ML module for Linux/x86", "contrib/polyml_x86-linux.tar.gz", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
65 |
<!-- _GP_ download("Poly/ML module for Solaris/Sparc", "contrib/polyml_sparc-solaris.tar.gz", "../..") --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
66 |
<!-- _GP_ download("Isabelle main system", distname . ".tar.gz", "../..") --> |
9925 | 67 |
<!-- _GP_ download("Isabelle pdf documentation (optional)", distname . "_pdf.tar.gz", "../..") --> <!-- _GP_ download("Proof General system (recommended)", "contrib/ProofGeneral.tar.gz", "../..") --> |
68 |
<!-- _GP_ download("X-Symbol package (recommended)", "contrib/x-symbol.tar.gz", "../..") --> |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
69 |
</table> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
70 |
</center> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
71 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
72 |
<p> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
73 |
|
9925 | 74 |
Example installation in <tt>/usr/share</tt> for Linux/x86: |
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
75 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
76 |
<pre> |
9925 | 77 |
tar -C /usr/share -x -z -f polyml_base.tar.gz |
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
78 |
tar -C /usr/share -x -z -f polyml_x86-linux.tar.gz |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
79 |
tar -C /usr/share -x -z -f <!-- _GP_ distname . ".tar.gz"--> |
9925 | 80 |
tar -C /usr/share -x -z -f ProofGeneral.tar.gz #requires XEmacs-21 |
81 |
tar -C /usr/share -x -z -f x-symbol.tar.gz |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
82 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
83 |
cd <!-- _GP_ "/usr/share/" . distname --> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
84 |
./configure |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
85 |
./build |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
86 |
./bin/isatool install -p /usr/bin |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
87 |
</pre> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
88 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
89 |
<p> |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
90 |
|
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8080
diff
changeset
|
91 |
<p> |