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.
clarified error;
authorwenzelm
Thu, 06 Dec 2018 16:48:40 +0100
changeset 69415 99c3529c31d0
parent 69414 eab0d3108b46
child 69416 cc3a3eba99ae
clarified error;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Thu Dec 06 16:40:56 2018 +0100
+++ b/src/Pure/Admin/build_release.scala	Thu Dec 06 16:48:40 2018 +0100
@@ -226,7 +226,7 @@
   private def tar_options: String =
     if (Platform.is_macos) "--owner=root --group=staff" else "--owner=root --group=root"
 
-  private val default_platform_families =
+  private val default_platform_families: List[Platform.Family.Value] =
     List(Platform.Family.linux, Platform.Family.windows, Platform.Family.macos)
 
   def build_release(base_dir: Path,
@@ -792,6 +792,9 @@
 
       val progress = new Console_Progress()
 
+      if (platform_families.contains(Platform.Family.windows) && !Isabelle_System.bash("7z i").ok)
+        error("Building for windows requires 7z")
+
       build_release(Path.explode(base_dir), options, components_base = components_base,
         progress = progress, rev = rev, afp_rev = afp_rev, official_release = official_release,
         proper_release_name = proper_release_name, website = website,
isabelle