# HG changeset patch
# User wenzelm
# Date 1262037505 -3600
# Node ID dd2f49d88b473d993b78c2e34b90a898b8f7c520
# Parent  99241daf807d27b95f6e6e4bf45e97edc53ac18f
crude Cygwin.setup;

diff -r 99241daf807d -r dd2f49d88b47 src/Pure/System/cygwin.scala
--- a/src/Pure/System/cygwin.scala	Mon Dec 28 22:57:37 2009 +0100
+++ b/src/Pure/System/cygwin.scala	Mon Dec 28 22:58:25 2009 +0100
@@ -94,5 +94,14 @@
     if (!ok) error("Bad Cygwin installation: " + root)
     root
   }
+
+  def setup(exe: String, root: String): Int =
+  {
+    val (output, rc) = Standard_System.process_output(
+    	Standard_System.raw_execute(null, true, exe, "-R", root, "-P", "perl,python", "-q", "-n"))
+    val root_dir = new File(root)
+    if (root_dir.isDirectory) Standard_System.write_file(new File(root, "setup.log"), output)
+    rc
+  }
 }