equal
deleted
inserted
replaced
33 try { Bytes.read(Url(cygwin_exe_name)) } |
33 try { Bytes.read(Url(cygwin_exe_name)) } |
34 catch { case ERROR(_) => error("Failed to download " + quote(cygwin_exe_name)) }) |
34 catch { case ERROR(_) => error("Failed to download " + quote(cygwin_exe_name)) }) |
35 |
35 |
36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) |
36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) |
37 |
37 |
38 Isabelle_System.bash( |
38 File.executable(cygwin_exe) |
39 "chmod +x " + File.bash_path(cygwin_exe) + " && " + |
39 Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check |
40 File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check |
|
41 |
40 |
42 val res = |
41 val res = |
43 progress.bash( |
42 progress.bash( |
44 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" + |
43 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" + |
45 " --local-package-dir 'C:\\temp'" + |
44 " --local-package-dir 'C:\\temp'" + |