equal
deleted
inserted
replaced
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 = cygwin + Path.explode("isabelle") |
28 Isabelle_System.mkdirs(cygwin_isabelle) |
28 Isabelle_System.make_directory(cygwin_isabelle) |
29 |
29 |
30 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
30 val cygwin_exe_name = mirror + "/setup-x86_64.exe" |
31 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
31 val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe") |
32 Bytes.write(cygwin_exe, |
32 Bytes.write(cygwin_exe, |
33 try { Bytes.read(Url(cygwin_exe_name)) } |
33 try { Bytes.read(Url(cygwin_exe_name)) } |