updated platform information;
authorwenzelm
Wed Dec 28 14:38:14 2011 +0100 (2011-12-28)
changeset 4600636cd232b18bb
parent 46005 ae721b158a79
child 46007 493d9c4d7ed5
updated platform information;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Wed Dec 28 13:13:27 2011 +0100
     1.2 +++ b/Admin/PLATFORMS	Wed Dec 28 14:38:14 2011 +0100
     1.3 @@ -61,21 +61,25 @@
     1.4  32 bit vs. 64 bit platforms
     1.5  ---------------------------
     1.6  
     1.7 -64 bit hardware becomes more and more important for many users.
     1.8 -Add-on tools need to work seamlessly without manual user
     1.9 -configuration, although it is often sufficient to fall back on 32 bit
    1.10 -executables.
    1.11 +Most users already have 64 bit hardware, and many of them are running
    1.12 +a 64 bit operating system.  Native 64 bit support for ML and Scala/JVM
    1.13 +is increasingly important for big Isabelle applications, but 32 bit is
    1.14 +often the default to get started.  Add-on executables need to work
    1.15 +seamlessly without manual user configuration, either as native 64 bit
    1.16 +executables or in 32 bit mode on a 64 bit platform.
    1.17  
    1.18  The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
    1.19 -the platform, even on 64 bit hardware.  Power-tools need to indicate
    1.20 -64 bit support explicitly, via the (optional) ISABELLE_PLATFORM64
    1.21 -setting.  The following bash expression prefers the 64 bit platform,
    1.22 -if that is available:
    1.23 +the platform, even on 64 bit hardware.  Tools need to indicate 64 bit
    1.24 +support explicitly via the (optional) ISABELLE_PLATFORM64 setting, if
    1.25 +this is really required.  The following bash expression prefers the 64
    1.26 +bit platform, if that is available:
    1.27  
    1.28    "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
    1.29  
    1.30  Note that ML and JVM may have a different idea of the platform,
    1.31 -depending on the respective binaries that are actually run.
    1.32 +depending on the respective binaries that are actually run.  The
    1.33 +"uname" Unix tool usually only tells about its own executable format,
    1.34 +not the underlying platform.
    1.35  
    1.36  
    1.37  Dependable system tools