Admin/PLATFORMS
changeset 55391 eae296b5ef33
parent 49144 84699f37481d
child 55438 3b95e70c5cb3
     1.1 --- a/Admin/PLATFORMS	Tue Feb 11 11:30:33 2014 +0100
     1.2 +++ b/Admin/PLATFORMS	Tue Feb 11 12:08:44 2014 +0100
     1.3 @@ -33,36 +33,23 @@
     1.4    x86-linux         Ubuntu 10.04 LTS
     1.5    x86_64-linux      Ubuntu 10.04 LTS
     1.6  
     1.7 -  x86_64-darwin     Mac OS Snow Leopard (macbroy2)
     1.8 -                    Mac OS Lion (macbroy6)
     1.9 -                    Mac OS Mountain Lion (macbroy30)
    1.10 +  x86_64-darwin     Mac OS X Lion (macbroy6)
    1.11 +                    Mac OS X Mountain Lion (macbroy30)
    1.12 +                    Mac OS X Mavericks (macbroy2)
    1.13  
    1.14    x86-cygwin        Cygwin 1.7 (vmbroy9)
    1.15  
    1.16  All of the above platforms are 100% supported by Isabelle -- end-users
    1.17  should not have to care about the differences (at least in theory).
    1.18 -There are also some additional platforms where Poly/ML might also
    1.19 -happen to work, but they are *not* covered by the official Isabelle
    1.20 -distribution:
    1.21  
    1.22 -  ppc-darwin
    1.23 -  x86-darwin
    1.24 -  sparc-solaris
    1.25 -  x86-solaris
    1.26 -  x86-bsd
    1.27 -
    1.28 -There are increasing problems to make contributing components of
    1.29 -Isabelle work on such fringe platforms.  Note that x86-bsd is silently
    1.30 -treated like x86-linux -- this works if certain Linux compatibility
    1.31 -packages are installed on BSD.  Old 32 bit Macintosh hardware is no
    1.32 -longer supported due the its lack of Java 7.
    1.33 +Fringe platforms like BSD or Solaris are unsupported.
    1.34  
    1.35  
    1.36  32 bit vs. 64 bit platforms
    1.37  ---------------------------
    1.38  
    1.39  Most users have 64 bit hardware and are running a 64 bit operating
    1.40 -system by default.  For Linux this often means missing 32 bit shared
    1.41 +system by default.  For Linux this usually means missing 32 bit shared
    1.42  libraries, so native x86_64-linux needs to be used by default, despite
    1.43  its doubled space requirements for Poly/ML heaps.  For Mac OS X, the
    1.44  x86-darwin personality usually works seamlessly for C/C++ programs,
    1.45 @@ -118,12 +105,12 @@
    1.46  Known problems
    1.47  --------------
    1.48  
    1.49 -* Mac OS: If MacPorts is installed there is some danger that
    1.50 +* Mac OS X: If MacPorts is installed there is some danger that
    1.51    accidental references to its shared libraries are created
    1.52    (e.g. libgmp).  Use otool -L to check if compiled binaries also work
    1.53    without MacPorts.
    1.54  
    1.55 -* Mac OS: If MacPorts is installed and its version of Perl takes
    1.56 +* Mac OS X: If MacPorts is installed and its version of Perl takes
    1.57    precedence over /usr/bin/perl in the PATH, then the end-user needs
    1.58    to take care of installing extra modules, e.g. for HTTP support.
    1.59    Such add-ons are usually included in Apple's /usr/bin/perl by