equal
deleted
inserted
replaced
64 |
64 |
65 /* build release from repository snapshot */ |
65 /* build release from repository snapshot */ |
66 |
66 |
67 private val build_release = |
67 private val build_release = |
68 Logger_Task("build_release", logger => |
68 Logger_Task("build_release", logger => |
69 Isabelle_System.with_tmp_dir("isadist")(tmp_dir => |
69 Isabelle_System.with_tmp_dir("isadist")(base_dir => |
70 { |
70 { |
71 val base_dir = File.path(tmp_dir) |
|
72 |
|
73 val new_snapshot = release_snapshot.ext("new") |
71 val new_snapshot = release_snapshot.ext("new") |
74 val old_snapshot = release_snapshot.ext("old") |
72 val old_snapshot = release_snapshot.ext("old") |
75 |
73 |
76 Isabelle_System.rm_tree(new_snapshot) |
74 Isabelle_System.rm_tree(new_snapshot) |
77 Isabelle_System.rm_tree(old_snapshot) |
75 Isabelle_System.rm_tree(old_snapshot) |