# HG changeset patch
# User wenzelm
# Date 1556906625 -7200
# Node ID 2ca87b48107777f16e332b35f619b588e3112334
# Parent  b134cf366c2c33af41f34b7796174bb3f911abe0
back to gz for macos: more robust;

diff -r b134cf366c2c -r 2ca87b481077 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri May 03 19:27:41 2019 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri May 03 20:03:45 2019 +0200
@@ -582,10 +582,10 @@
 
             // application archive
 
-            val archive_name = isabelle_name + "_macos.tar.xz"
+            val archive_name = isabelle_name + "_macos.tar.gz"
             progress.echo("Packaging " + archive_name + " ...")
             execute_tar(tmp_dir,
-              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
+              "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
               File.bash_path(isabelle_app))
 
 
@@ -725,8 +725,10 @@
       else {
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
+            if (!Platform.is_linux) error("Linux platform required for library archive")
+
             val bundle =
-              release.dist_dir + Path.explode(release.dist_name + "_" + Platform.family + ".tar.xz")
+              release.dist_dir + Path.explode(release.dist_name + "_linux.tar.xz")
             execute_tar(tmp_dir, "-xJf " + File.bash_path(bundle))
 
             val other_isabelle = release.other_isabelle(tmp_dir)