--- a/lib/scripts/isabelle-platform Tue Apr 05 20:51:37 2016 +0200
+++ b/lib/scripts/isabelle-platform Tue Apr 05 21:23:32 2016 +0200
@@ -4,6 +4,7 @@
#
# NOTE: The ML system or JVM may have their own idea about the platform!
+ISABELLE_WINDOWS_PREFIX=""
ISABELLE_PLATFORM_FAMILY=""
ISABELLE_PLATFORM32=""
ISABELLE_PLATFORM64=""
@@ -11,6 +12,7 @@
case $(uname -s) in
Linux)
ISABELLE_PLATFORM_FAMILY="linux"
+ ISABELLE_WINDOWS_PREFIX="."
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-linux
@@ -23,6 +25,7 @@
;;
Darwin)
ISABELLE_PLATFORM_FAMILY="macos"
+ ISABELLE_WINDOWS_PREFIX="."
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-darwin
@@ -38,6 +41,7 @@
;;
CYGWIN_NT*)
ISABELLE_PLATFORM_FAMILY="windows"
+ ISABELLE_WINDOWS_PREFIX="windows"
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM32=x86-cygwin