--- a/lib/scripts/isabelle-platform Fri Nov 23 23:07:58 2012 +0100
+++ b/lib/scripts/isabelle-platform Sat Nov 24 12:39:58 2012 +0100
@@ -4,11 +4,13 @@
#
# NOTE: The ML system or JVM may have their own idea about the platform!
+ISABELLE_PLATFORM_FAMILY=""
ISABELLE_PLATFORM32=""
ISABELLE_PLATFORM64=""
case $(uname -s) in
Linux)
+ ISABELLE_PLATFORM_FAMILY="linux"
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-linux
@@ -20,6 +22,7 @@
esac
;;
Darwin)
+ ISABELLE_PLATFORM_FAMILY="macos"
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-darwin
@@ -34,6 +37,7 @@
esac
;;
CYGWIN_NT*)
+ ISABELLE_PLATFORM_FAMILY="windows"
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM32=x86-cygwin
@@ -41,6 +45,7 @@
esac
;;
*BSD)
+ ISABELLE_PLATFORM_FAMILY="linux"
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM32=x86-linux #cf. BSD Linux Binary Compatibility