24 |
24 |
25 |
25 |
26 Supported platforms |
26 Supported platforms |
27 ------------------- |
27 ------------------- |
28 |
28 |
29 The following hardware and operating system platforms are officially |
29 A broad range of hardware and operating system platforms are supported |
30 supported by the Isabelle distribution (and bundled tools), with the |
30 by building executables on base-line versions that are neither too old |
31 following base-line versions (which have been selected to be neither |
31 nor too new. Common OS families work: Linux, Windows, macOS, but |
32 too old nor too new): |
32 exotic ones are unsupported: BSD, Solaris, NixOS. |
|
33 |
|
34 Official (full support): |
33 |
35 |
34 x86_64-linux Ubuntu 14.04 LTS |
36 x86_64-linux Ubuntu 14.04 LTS |
|
37 |
|
38 x86_64-darwin macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
|
39 macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2) |
|
40 macOS 10.15 Catalina (laramac01 Macmini8,1) |
|
41 |
|
42 x86_64-windows Windows 7 |
|
43 x86_64-cygwin Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
|
44 |
|
45 Old (partial support): |
35 |
46 |
36 x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
47 x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2) |
37 Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1) |
48 Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1) |
38 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
49 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
39 macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2) |
|
40 macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2) |
|
41 macOS 10.15 Catalina (laramac01 Macmini8,1) |
|
42 |
50 |
43 x86_64-windows Windows 7 |
51 New (experimental): |
44 x86_64-cygwin Cygwin 2.10 https://isabelle.sketis.net/cygwin_2021 (x86_64/release) |
|
45 |
|
46 All of the above platforms are 100% supported by Isabelle -- end-users |
|
47 should not have to care about the differences (at least in theory). |
|
48 |
|
49 Partial support for ARM (e.g. Raspberry Pi) is available: |
|
50 |
52 |
51 arm64-linux Ubuntu 20.04 LTS |
53 arm64-linux Ubuntu 20.04 LTS |
52 |
54 |
53 Exotic operating systems like BSD, Solaris, NixOS are unsupported. |
|
54 |
55 |
55 |
56 |
56 64 bit vs. 32 bit platform personality |
57 64 bit vs. 32 bit platform personality |
57 -------------------------------------- |
58 -------------------------------------- |
58 |
59 |