# HG changeset patch # User wenzelm # Date 1707074617 -3600 # Node ID 7254253f2ec7b45bef450194913c21286b1104be # Parent b5d199871f2fbda6c10b800c61f9eb1cf21e0b6e more robust; diff -r b5d199871f2f -r 7254253f2ec7 src/Pure/Admin/component_windows_app.scala --- 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 =>