equal
deleted
inserted
replaced
52 (cygwin_etc + Path.explode(name)).file.delete |
52 (cygwin_etc + Path.explode(name)).file.delete |
53 |
53 |
54 (cygwin + Path.explode("Cygwin.bat")).file.delete |
54 (cygwin + Path.explode("Cygwin.bat")).file.delete |
55 |
55 |
56 val archive = "cygwin-" + Date.Format("uuuuMMdd")(Date.now()) + ".tar.gz" |
56 val archive = "cygwin-" + Date.Format("uuuuMMdd")(Date.now()) + ".tar.gz" |
57 Isabelle_System.gnutar("-C " + File.bash_path(tmp_dir) + |
57 Isabelle_System.gnutar("-czf " + Bash.string(archive) + " cygwin", dir = tmp_dir).check |
58 " -czf " + Bash.string(archive) + " cygwin").check |
|
59 }) |
58 }) |
60 } |
59 } |
61 |
60 |
62 |
61 |
63 /* Isabelle tool wrapper */ |
62 /* Isabelle tool wrapper */ |