src/Pure/System/cygwin.scala
changeset 41333 2a12d91a6ab7
parent 39703 545cc67324d8
child 43520 cec9b95fa35d
equal deleted inserted replaced
41332:425da53b3196 41333:2a12d91a6ab7
   116     }
   116     }
   117     catch { case _: RuntimeException => error("Failed to download Cygwin setup program") }
   117     catch { case _: RuntimeException => error("Failed to download Cygwin setup program") }
   118 
   118 
   119     val (_, rc) = Standard_System.raw_exec(root, null, true,
   119     val (_, rc) = Standard_System.raw_exec(root, null, true,
   120         setup_exe.toString, "-R", root.toString, "-l", download.toString,
   120         setup_exe.toString, "-R", root.toString, "-l", download.toString,
   121           "-P", "make,perl,python", "-q", "-n")
   121           "-P", "libgmp3,make,perl,python", "-q", "-n")
   122     if (rc != 0) error("Cygwin setup failed!")
   122     if (rc != 0) error("Cygwin setup failed!")
   123 
   123 
   124     sanity_check(root)
   124     sanity_check(root)
   125   }
   125   }
   126 }
   126 }