--- a/Admin/PLATFORMS Tue Feb 28 23:12:52 2017 +0100
+++ b/Admin/PLATFORMS Wed Mar 01 11:26:19 2017 +0100
@@ -57,12 +57,13 @@
libraries, so native x86_64-linux needs to be used by default, despite
its doubled space requirements for Poly/ML heaps. For Mac OS X, the
x86-darwin personality usually works seamlessly for C/C++ programs,
-but the Java platform is only available for x86_64-darwin.
+but the Java platform is always for x86_64-darwin.
Add-on executables are expected to work without manual user
configuration. Each component settings script needs to determine the
platform details appropriately.
+
The Isabelle settings environment provides the following variables to
help configuring platform-dependent tools:
@@ -77,6 +78,21 @@
"${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
+
+There is a second set of settings for native Windows (instead of the
+POSIX emulation of Cygwin used before):
+
+ ISABELLE_WINDOWS_PLATFORM64 (potentially empty)
+ ISABELLE_WINDOWS_PLATFORM32
+ ISABELLE_WINDOWS_PLATFORM
+
+It can be used like this:
+
+ "${ISABELLE_WINDOWS_PLATFORM:-$ISABELLE_PLATFORM}"
+
+ "${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_WINDOWS_PLATFORM32:-${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}}}"
+
+
Moreover note that ML and JVM usually have a different idea of the
platform, depending on the respective binaries that are actually run.
Poly/ML 5.6.x performs best in 32 bit mode, even for large