NEWS
changeset 68004 9b89d831dc80
parent 67999 1b05f74f2e5f
child 68027 64559e1ca05b
     1.1 --- a/NEWS	Thu Apr 19 12:02:59 2018 +0200
     1.2 +++ b/NEWS	Thu Apr 19 12:34:52 2018 +0200
     1.3 @@ -308,6 +308,20 @@
     1.4  been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
     1.5  instead of former 32/64 variants. INCOMPATIBILITY.
     1.6  
     1.7 +* Old settings ISABELLE_PLATFORM and ISABELLE_WINDOWS_PLATFORM should be
     1.8 +phased out due to unclear preference of 32bit vs. 64bit architecture.
     1.9 +Explicit GNU bash expressions are now preferred, for example (with
    1.10 +quotes):
    1.11 +
    1.12 +  #Posix executables (Unix or Cygwin), with preference for 64bit
    1.13 +  "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
    1.14 +
    1.15 +  #native Windows or Unix executables, with preference for 64bit
    1.16 +  "${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_WINDOWS_PLATFORM32:-${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}}}"
    1.17 +
    1.18 +  #native Windows (32bit) or Unix executables (preference for 64bit)
    1.19 +  "${ISABELLE_WINDOWS_PLATFORM32:-${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}}"
    1.20 +
    1.21  * Command-line tool "isabelle build" supports new options:
    1.22    - option -B NAME: include session NAME and all descendants
    1.23    - option -S: only observe changes of sources, not heap images