Admin/PLATFORMS
changeset 41458 5eca258324ca
parent 40789 301e91df039d
child 41668 62ed9f31ea90
equal deleted inserted replaced
41441:a7a03f856354 41458:5eca258324ca
    59 executables.
    59 executables.
    60 
    60 
    61 The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
    61 The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
    62 the platform, even on 64 bit hardware.  Power-tools need to indicate
    62 the platform, even on 64 bit hardware.  Power-tools need to indicate
    63 64 bit support explicitly, via the (optional) ISABELLE_PLATFORM64
    63 64 bit support explicitly, via the (optional) ISABELLE_PLATFORM64
    64 setting.  The following bash expressions prefers the 64 bit platform,
    64 setting.  The following bash expression prefers the 64 bit platform,
    65 if that is available:
    65 if that is available:
    66 
    66 
    67   "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
    67   "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
    68 
    68 
    69 Note that ML and JVM may have a different idea of the platform,
    69 Note that ML and JVM may have a different idea of the platform,
    70 depending the the respective binaries that are actually run.
    70 depending on the respective binaries that are actually run.
    71 
    71 
    72 
    72 
    73 Dependable system tools
    73 Dependable system tools
    74 -----------------------
    74 -----------------------
    75 
    75