# 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 =>