# HG changeset patch
# User wenzelm
# Date 1488319972 -3600
# Node ID 36c650d1a90d7f6b6c5a0117b59498a53dfff06d
# Parent  9ed87c82cbe71713e76afe3612f9cd45210c1bdd
more detailed platform information;

diff -r 9ed87c82cbe7 -r 36c650d1a90d NEWS
--- a/NEWS	Tue Feb 28 19:50:08 2017 +0100
+++ b/NEWS	Tue Feb 28 23:12:52 2017 +0100
@@ -142,6 +142,11 @@
 * ISABELLE_SCALA_BUILD_OPTIONS has been renamed to
 ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY.
 
+* Isabelle settings ISABELLE_WINDOWS_PLATFORM32 and
+ISABELLE_WINDOWS_PLATFORM64 indicate the native Windows platform
+(independently of the Cygwin installation). This is analogous to
+ISABELLE_PLATFORM32 and ISABELLE_PLATFORM64.
+
 
 
 New in Isabelle2016-1 (December 2016)
diff -r 9ed87c82cbe7 -r 36c650d1a90d lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Tue Feb 28 19:50:08 2017 +0100
+++ b/lib/scripts/isabelle-platform	Tue Feb 28 23:12:52 2017 +0100
@@ -7,6 +7,8 @@
 ISABELLE_PLATFORM_FAMILY=""
 ISABELLE_PLATFORM32=""
 ISABELLE_PLATFORM64=""
+ISABELLE_WINDOWS_PLATFORM32=""
+ISABELLE_WINDOWS_PLATFORM64=""
 
 case $(uname -s) in
   Linux)
@@ -41,6 +43,11 @@
     case $(uname -m) in
       i?86 | x86_64)
         ISABELLE_PLATFORM32=x86-cygwin
+        if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then
+          ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
+        else
+          ISABELLE_WINDOWS_PLATFORM32="x86-windows"
+        fi
         ;;
     esac
     ;;