equal
deleted
inserted
replaced
22 |
22 |
23 Isabelle_System.with_tmp_dir("cygwin")(tmp_dir => |
23 Isabelle_System.with_tmp_dir("cygwin")(tmp_dir => |
24 { |
24 { |
25 val cygwin = tmp_dir + Path.explode("cygwin") |
25 val cygwin = tmp_dir + Path.explode("cygwin") |
26 val cygwin_etc = cygwin + Path.explode("etc") |
26 val cygwin_etc = cygwin + Path.explode("etc") |
27 val cygwin_isabelle = cygwin + Path.explode("isabelle") |
27 val cygwin_isabelle = Isabelle_System.make_directory(cygwin + Path.explode("isabelle")) |
28 Isabelle_System.make_directory(cygwin_isabelle) |
|
29 |
28 |
30 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
29 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
31 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
30 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
32 Bytes.write(cygwin_exe, |
31 Bytes.write(cygwin_exe, |
33 try { Bytes.read(Url(cygwin_exe_name)) } |
32 try { Bytes.read(Url(cygwin_exe_name)) } |