src/Pure/System/cygwin.scala

--- a/src/Pure/System/cygwin.scala	Thu May 24 23:13:06 2012 +0200
+++ b/src/Pure/System/cygwin.scala	Thu May 24 23:28:58 2012 +0200
@@ -36,27 +36,5 @@
     sanity_check(new File(root))
     root
   }
-
-  def setup(parent: Component, root: File)
-  {
-    if (!root.isDirectory && !root.mkdirs) error("Failed to create root directory: " + root)
-
-    val download = new File(root, "download")
-    if (!download.mkdir) error("Failed to create download directory: " + download)
-
-    val setup_exe = new File(root, "setup.exe")
-
-    try {
-      Download.file(parent, "Downloading", new URL("http://www.cygwin.com/setup.exe"), setup_exe)
-    }
-    catch { case ERROR(_) => error("Failed to download Cygwin setup program") }
-
-    val (_, rc) = Standard_System.raw_exec(root, null, true,
-        setup_exe.toString, "-R", root.toString, "-l", download.toString,
-          "-P", "libgmp3,make,perl,python", "-q", "-n")
-    if (rc != 0) error("Cygwin setup failed!")
-
-    sanity_check(root)
-  }
 }