31 too old nor too new): |
31 too old nor too new): |
32 |
32 |
33 x86-linux Ubuntu 10.04 LTS |
33 x86-linux Ubuntu 10.04 LTS |
34 x86_64-linux Ubuntu 10.04 LTS |
34 x86_64-linux Ubuntu 10.04 LTS |
35 |
35 |
36 x86_64-darwin Mac OS Snow Leopard (macbroy2) |
36 x86_64-darwin Mac OS X Lion (macbroy6) |
37 Mac OS Lion (macbroy6) |
37 Mac OS X Mountain Lion (macbroy30) |
38 Mac OS Mountain Lion (macbroy30) |
38 Mac OS X Mavericks (macbroy2) |
39 |
39 |
40 x86-cygwin Cygwin 1.7 (vmbroy9) |
40 x86-cygwin Cygwin 1.7 (vmbroy9) |
41 |
41 |
42 All of the above platforms are 100% supported by Isabelle -- end-users |
42 All of the above platforms are 100% supported by Isabelle -- end-users |
43 should not have to care about the differences (at least in theory). |
43 should not have to care about the differences (at least in theory). |
44 There are also some additional platforms where Poly/ML might also |
|
45 happen to work, but they are *not* covered by the official Isabelle |
|
46 distribution: |
|
47 |
44 |
48 ppc-darwin |
45 Fringe platforms like BSD or Solaris are unsupported. |
49 x86-darwin |
|
50 sparc-solaris |
|
51 x86-solaris |
|
52 x86-bsd |
|
53 |
|
54 There are increasing problems to make contributing components of |
|
55 Isabelle work on such fringe platforms. Note that x86-bsd is silently |
|
56 treated like x86-linux -- this works if certain Linux compatibility |
|
57 packages are installed on BSD. Old 32 bit Macintosh hardware is no |
|
58 longer supported due the its lack of Java 7. |
|
59 |
46 |
60 |
47 |
61 32 bit vs. 64 bit platforms |
48 32 bit vs. 64 bit platforms |
62 --------------------------- |
49 --------------------------- |
63 |
50 |
64 Most users have 64 bit hardware and are running a 64 bit operating |
51 Most users have 64 bit hardware and are running a 64 bit operating |
65 system by default. For Linux this often means missing 32 bit shared |
52 system by default. For Linux this usually means missing 32 bit shared |
66 libraries, so native x86_64-linux needs to be used by default, despite |
53 libraries, so native x86_64-linux needs to be used by default, despite |
67 its doubled space requirements for Poly/ML heaps. For Mac OS X, the |
54 its doubled space requirements for Poly/ML heaps. For Mac OS X, the |
68 x86-darwin personality usually works seamlessly for C/C++ programs, |
55 x86-darwin personality usually works seamlessly for C/C++ programs, |
69 but the Java 7 platform is only available for x86_64-darwin. |
56 but the Java 7 platform is only available for x86_64-darwin. |
70 |
57 |
116 |
103 |
117 |
104 |
118 Known problems |
105 Known problems |
119 -------------- |
106 -------------- |
120 |
107 |
121 * Mac OS: If MacPorts is installed there is some danger that |
108 * Mac OS X: If MacPorts is installed there is some danger that |
122 accidental references to its shared libraries are created |
109 accidental references to its shared libraries are created |
123 (e.g. libgmp). Use otool -L to check if compiled binaries also work |
110 (e.g. libgmp). Use otool -L to check if compiled binaries also work |
124 without MacPorts. |
111 without MacPorts. |
125 |
112 |
126 * Mac OS: If MacPorts is installed and its version of Perl takes |
113 * Mac OS X: If MacPorts is installed and its version of Perl takes |
127 precedence over /usr/bin/perl in the PATH, then the end-user needs |
114 precedence over /usr/bin/perl in the PATH, then the end-user needs |
128 to take care of installing extra modules, e.g. for HTTP support. |
115 to take care of installing extra modules, e.g. for HTTP support. |
129 Such add-ons are usually included in Apple's /usr/bin/perl by |
116 Such add-ons are usually included in Apple's /usr/bin/perl by |
130 default. |
117 default. |
131 |
118 |