--- a/src/Pure/Admin/build_csdp.scala Sat Oct 10 22:04:51 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala Sat Oct 10 22:05:47 2020 +0200
@@ -201,7 +201,7 @@
Build prover component from official downloads.
""",
"D:" -> (arg => target_dir = Path.explode(arg)),
- "M:" -> (arg => mingw = MinGW.root(Path.explode(arg))),
+ "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
"U:" -> (arg => download_url = arg),
"v" -> (_ => verbose = true))
--- a/src/Pure/Admin/build_polyml.scala Sat Oct 10 22:04:51 2020 +0200
+++ b/src/Pure/Admin/build_polyml.scala Sat Oct 10 22:05:47 2020 +0200
@@ -255,7 +255,7 @@
Build Poly/ML in the ROOT directory of its sources, with additional
CONFIGURE_OPTIONS (e.g. --without-gmp).
""",
- "M:" -> (arg => mingw = MinGW.root(Path.explode(arg))),
+ "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
"m:" ->
{
case "32" => arch_64 = false
--- a/src/Pure/System/mingw.scala Sat Oct 10 22:04:51 2020 +0200
+++ b/src/Pure/System/mingw.scala Sat Oct 10 22:05:47 2020 +0200
@@ -16,7 +16,7 @@
environment.map(a => "export " + Bash.string(a)).mkString("", "\n", "\n")
val none: MinGW = new MinGW(None)
- def root(path: Path) = new MinGW(Some(path))
+ def apply(path: Path) = new MinGW(Some(path))
}
class MinGW private(val root: Option[Path])
@@ -24,7 +24,7 @@
override def toString: String =
root match {
case None => "MinGW.none"
- case Some(msys_root) => "MinGW.root(" + msys_root.toString + ")"
+ case Some(msys_root) => "MinGW(" + msys_root.toString + ")"
}
def bash_script(script: String): String =