back to gz for macos: more robust;
authorwenzelm
Fri May 03 20:03:45 2019 +0200 (6 months ago)
changeset 702442ca87b481077
parent 70243 b134cf366c2c
child 70245 8feae28e5c44
back to gz for macos: more robust;
src/Pure/Admin/build_release.scala
     1.1 --- a/src/Pure/Admin/build_release.scala	Fri May 03 19:27:41 2019 +0200
     1.2 +++ b/src/Pure/Admin/build_release.scala	Fri May 03 20:03:45 2019 +0200
     1.3 @@ -582,10 +582,10 @@
     1.4  
     1.5              // application archive
     1.6  
     1.7 -            val archive_name = isabelle_name + "_macos.tar.xz"
     1.8 +            val archive_name = isabelle_name + "_macos.tar.gz"
     1.9              progress.echo("Packaging " + archive_name + " ...")
    1.10              execute_tar(tmp_dir,
    1.11 -              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.12 +              "-czf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.13                File.bash_path(isabelle_app))
    1.14  
    1.15  
    1.16 @@ -725,8 +725,10 @@
    1.17        else {
    1.18          Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
    1.19            {
    1.20 +            if (!Platform.is_linux) error("Linux platform required for library archive")
    1.21 +
    1.22              val bundle =
    1.23 -              release.dist_dir + Path.explode(release.dist_name + "_" + Platform.family + ".tar.xz")
    1.24 +              release.dist_dir + Path.explode(release.dist_name + "_linux.tar.xz")
    1.25              execute_tar(tmp_dir, "-xJf " + File.bash_path(bundle))
    1.26  
    1.27              val other_isabelle = release.other_isabelle(tmp_dir)