# HG changeset patch
# User wenzelm
# Date 1540143586 -7200
# Node ID 6d28536481ad3a4c242f3516003a3cf49f16fd25
# Parent  a5640ec8fcb81ccc7bd635df5f852fe625206215
more portable tar_options;

diff -r a5640ec8fcb8 -r 6d28536481ad src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Oct 21 19:34:11 2018 +0200
+++ b/src/Pure/Admin/build_release.scala	Sun Oct 21 19:39:46 2018 +0200
@@ -145,6 +145,10 @@
   private def execute_tar(dir: Path, args: String): Unit =
     Isabelle_System.gnutar(args, cwd = dir.file).check
 
+  private def tar_options: String =
+    if (Platform.is_macos) "--owner=root --group=staff" else "--owner=root --group=root"
+
+
   private val default_platform_families = List("linux", "windows", "macos")
 
   def build_release(base_dir: Path,
@@ -275,7 +279,7 @@
 find "$DIST_NAME" -type f "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" ")" -print | xargs chmod -f u-w
 """)
 
-          execute_tar(release.dist_dir, "--owner=root --group=root -czf " +
+          execute_tar(release.dist_dir, tar_options + " -czf " +
             File.bash_path(release.isabelle_archive) + " " + Bash.string(release.dist_name))
 
           release.execute_dist_name(release.dist_dir, """
@@ -384,8 +388,8 @@
 
             execute(tmp_dir, "chmod -R a+r " + Bash.string(name))
             execute(tmp_dir, "chmod -R g=o " + Bash.string(name))
-            execute_tar(tmp_dir, "--owner=root --group=root -czf " +
-              File.bash_path(release.isabelle_library_archive) +
+            execute_tar(tmp_dir,
+              tar_options + " -czf " + File.bash_path(release.isabelle_library_archive) +
               " " + Bash.string(name + "/browser_info"))
           })
       }