src/Pure/System/cygwin.scala
changeset 34203 dd2f49d88b47
parent 34045 bc71778a327d
child 34219 d37cfca69887
equal deleted inserted replaced
34202:99241daf807d 34203:dd2f49d88b47
    92       new File(root + "\\bin\\bash.exe").isFile &&
    92       new File(root + "\\bin\\bash.exe").isFile &&
    93       new File(root + "\\bin\\env.exe").isFile
    93       new File(root + "\\bin\\env.exe").isFile
    94     if (!ok) error("Bad Cygwin installation: " + root)
    94     if (!ok) error("Bad Cygwin installation: " + root)
    95     root
    95     root
    96   }
    96   }
       
    97 
       
    98   def setup(exe: String, root: String): Int =
       
    99   {
       
   100     val (output, rc) = Standard_System.process_output(
       
   101     	Standard_System.raw_execute(null, true, exe, "-R", root, "-P", "perl,python", "-q", "-n"))
       
   102     val root_dir = new File(root)
       
   103     if (root_dir.isDirectory) Standard_System.write_file(new File(root, "setup.log"), output)
       
   104     rc
       
   105   }
    97 }
   106 }
    98 
   107