# HG changeset patch
# User wenzelm
# Date 1669296163 -3600
# Node ID 33025e13dcdc08ee6ca7434ad5f3e310b52b0c60
# Parent  eb294dd8e266602fe06bd2c18b4426dd18b16d29
clarified command-line arguments: follow more recent isabelle build_XYZ;

diff -r eb294dd8e266 -r 33025e13dcdc src/Pure/Admin/build_cygwin.scala
--- a/src/Pure/Admin/build_cygwin.scala	Wed Nov 23 11:48:07 2022 +0100
+++ b/src/Pure/Admin/build_cygwin.scala	Thu Nov 24 14:22:43 2022 +0100
@@ -13,9 +13,11 @@
   val packages: List[String] =
     List("curl", "libgmp-devel", "nano", "openssh", "rsync", "unzip")
 
-  def build_cygwin(progress: Progress,
+  def build_cygwin(
+    target_dir: Path = Path.current,
     mirror: String = default_mirror,
-    more_packages: List[String] = Nil
+    more_packages: List[String] = Nil,
+    progress: Progress = new Progress
   ): Unit = {
     require(Platform.is_windows, "Windows platform expected")
 
@@ -50,8 +52,9 @@
 
         (cygwin + Path.explode("Cygwin.bat")).file.delete
 
-        val archive = "cygwin-" + Date.Format.alt_date(Date.now()) + ".tar.gz"
-        Isabelle_System.gnutar("-czf " + Bash.string(archive) + " cygwin", dir = tmp_dir).check
+        val archive =
+          target_dir + Path.explode("cygwin-" + Date.Format.alt_date(Date.now()) + ".tar.gz")
+        Isabelle_System.gnutar("-czf " + File.bash_path(archive) + " cygwin", dir = tmp_dir).check
       }
   }
 
@@ -62,6 +65,7 @@
     Isabelle_Tool("build_cygwin", "produce pre-canned Cygwin distribution for Isabelle",
       Scala_Project.here,
       { args =>
+        var target_dir = Path.current
         var mirror = default_mirror
         var more_packages: List[String] = Nil
 
@@ -70,18 +74,23 @@
 Usage: isabelle build_cygwin [OPTIONS]
 
   Options are:
+    -D DIR       target directory (default ".")
     -R MIRROR    Cygwin mirror site (default """ + quote(default_mirror) + """)
     -p NAME      additional Cygwin package
 
   Produce pre-canned Cygwin distribution for Isabelle: this requires
   Windows administrator mode.
 """,
+            "D:" -> (arg => target_dir = Path.explode(arg)),
             "R:" -> (arg => mirror = arg),
             "p:" -> (arg => more_packages ::= arg))
 
         val more_args = getopts(args)
         if (more_args.nonEmpty) getopts.usage()
 
-        build_cygwin(new Console_Progress(), mirror = mirror, more_packages = more_packages)
+        val progress = new Console_Progress()
+
+        build_cygwin(target_dir = target_dir, mirror = mirror, more_packages = more_packages,
+          progress = progress)
       })
 }