more ambitious compression;
authorwenzelm
Sun Apr 28 22:20:39 2019 +0200 (6 months ago)
changeset 70206c7fa2b7d2c8a
parent 70205 3293471cf176
child 70207 511352b4d5d3
more ambitious compression;
src/Pure/Admin/build_release.scala
     1.1 --- a/src/Pure/Admin/build_release.scala	Sun Apr 28 13:09:15 2019 +0200
     1.2 +++ b/src/Pure/Admin/build_release.scala	Sun Apr 28 22:20:39 2019 +0200
     1.3 @@ -38,8 +38,8 @@
     1.4  
     1.5      def bundle_info(platform: Platform.Family.Value): Bundle_Info =
     1.6        platform match {
     1.7 -        case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.gz")
     1.8 -        case Platform.Family.macos => Bundle_Info(platform, "Mac OS X", dist_name + "_macos.tar.gz")
     1.9 +        case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.xz")
    1.10 +        case Platform.Family.macos => Bundle_Info(platform, "Mac OS X", dist_name + "_macos.tar.xz")
    1.11          case Platform.Family.windows => Bundle_Info(platform, "Windows", dist_name + ".exe")
    1.12        }
    1.13    }
    1.14 @@ -522,11 +522,11 @@
    1.15                isabelle_target + Path.explode(isabelle_name))
    1.16              Isabelle_System.rm_tree(linux_app)
    1.17  
    1.18 -            val archive_name = isabelle_name + "_linux.tar.gz"
    1.19 +            val archive_name = isabelle_name + "_linux.tar.xz"
    1.20              progress.echo("Packaging " + archive_name + " ...")
    1.21              execute_tar(tmp_dir,
    1.22 -              "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.23 -              Bash.string(isabelle_name))
    1.24 +              "-cf- " + Bash.string(isabelle_name) +
    1.25 +              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
    1.26  
    1.27  
    1.28            case Platform.Family.macos =>
    1.29 @@ -582,11 +582,11 @@
    1.30  
    1.31              // application archive
    1.32  
    1.33 -            val archive_name = isabelle_name + "_macos.tar.gz"
    1.34 +            val archive_name = isabelle_name + "_macos.tar.xz"
    1.35              progress.echo("Packaging " + archive_name + " ...")
    1.36              execute_tar(tmp_dir,
    1.37 -              "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.38 -              File.bash_path(isabelle_app))
    1.39 +              "-cf- " + File.bash_path(isabelle_app) +
    1.40 +              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
    1.41  
    1.42  
    1.43            case Platform.Family.windows =>