equal
deleted
inserted
replaced
23 |
23 |
24 def exec(cmdline: String*): Unit = |
24 def exec(cmdline: String*): Unit = |
25 { |
25 { |
26 val cwd = new JFile(isabelle_root) |
26 val cwd = new JFile(isabelle_root) |
27 val env = sys.env + ("CYGWIN" -> "nodosfilewarning") |
27 val env = sys.env + ("CYGWIN" -> "nodosfilewarning") |
28 val proc = Isabelle_System.process(cmdline.toList, cwd = cwd, env = env, redirect = true) |
28 val proc = Isabelle_Env.process(cmdline.toList, cwd = cwd, env = env, redirect = true) |
29 val (output, rc) = Isabelle_System.process_output(proc) |
29 val (output, rc) = Isabelle_Env.process_output(proc) |
30 if (rc != 0) error(output) |
30 if (rc != 0) error(output) |
31 } |
31 } |
32 |
32 |
33 val uninitialized_file = new JFile(cygwin_root, "isabelle\\uninitialized") |
33 val uninitialized_file = new JFile(cygwin_root, "isabelle\\uninitialized") |
34 val uninitialized = uninitialized_file.isFile && uninitialized_file.delete |
34 val uninitialized = uninitialized_file.isFile && uninitialized_file.delete |