equal
deleted
inserted
replaced
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 |