Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Sun, 04 Feb 2024 20:23:37 +0100
changeset 79570 7254253f2ec7
parent 79569 b5d199871f2f
child 79571 d160d7a18b25
more robust;
src/Pure/Admin/component_windows_app.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_windows_app.scala	Sun Feb 04 19:32:45 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Sun Feb 04 20:23:37 2024 +0100
@@ -40,6 +40,8 @@
     progress: Progress = new Progress,
     target_dir: Path = Path.current
   ): Unit = {
+    Isabelle_System.require_command("7z", test = "")
+
     val platform_name = tool_platform()
 
     Isabelle_System.with_tmp_dir("build") { tmp_dir =>
isabelle