--- a/Admin/polyml/settings Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/polyml/settings Tue Oct 03 12:30:36 2017 +0200
@@ -12,11 +12,11 @@
ML_SYSTEM_64="false"
fi
-case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
- *-cygwin:true)
+case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
+ windows:true)
PLATFORMS="x86_64-windows x86-windows"
;;
- *-cygwin:*)
+ windows:*)
PLATFORMS="x86-windows x86_64-windows"
;;
*:true)
@@ -41,7 +41,7 @@
# ML settings
- ML_SYSTEM=polyml-5.7
+ ML_SYSTEM=polyml-5.7.1
ML_PLATFORM="$PLATFORM"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_SOURCES="$POLYML_HOME/src"