# 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 */