# HG changeset patch
# User wenzelm
# Date 1478869021 -3600
# Node ID 98215fa4f8d1cefb4ca60c229d4862be8c199b22
# Parent  6a1a1bbfcb93fd9bc02a702c0843f22ea9042ab7
more robust Windows platform;

diff -r 6a1a1bbfcb93 -r 98215fa4f8d1 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 12:14:03 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 13:57:01 2016 +0100
@@ -52,7 +52,11 @@
             "/mingw64/bin/libgmp-10.dll",
             "/mingw64/bin/libstdc++-6.dll")))
 
-  lazy val default_platform = Isabelle_System.getenv_strict("ISABELLE_PLATFORM32")
+  lazy val default_platform =
+    Isabelle_System.getenv_strict("ISABELLE_PLATFORM32") match {
+      case "x86-cygwin" => "x86-windows"
+      case platform => platform
+    }
 
   def build_polyml(
     root: Path,
@@ -68,6 +72,9 @@
       platform_info.get(platform) getOrElse
         error("Bad platform identifier: " + quote(platform))
 
+    if (platform.endsWith("windows") && other_bash == "")
+      error("Windows requires other bash (for msys)")
+
 
     /* configure and make */