equal
deleted
inserted
replaced
27 val cygwin_isabelle = Isabelle_System.make_directory(cygwin + Path.explode("isabelle")) |
27 val cygwin_isabelle = Isabelle_System.make_directory(cygwin + Path.explode("isabelle")) |
28 |
28 |
29 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
29 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
30 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
30 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
31 Bytes.write(cygwin_exe, |
31 Bytes.write(cygwin_exe, |
32 try { Bytes.read(Url(cygwin_exe_name)) } |
32 try { Bytes.read_url(cygwin_exe_name) } |
33 catch { case ERROR(_) => error("Failed to download " + quote(cygwin_exe_name)) }) |
33 catch { case ERROR(_) => error("Failed to download " + quote(cygwin_exe_name)) }) |
34 |
34 |
35 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) |
35 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror) |
36 |
36 |
37 File.set_executable(cygwin_exe, true) |
37 File.set_executable(cygwin_exe, true) |