# HG changeset patch
# User wenzelm
# Date 1554822375 -7200
# Node ID 9b9c1192f9723002ff8036214385e02740c92f3d
# Parent  956d2430cb29fd4a817b5d86840568c88fc40a29
support for platform-specific builds on remote server;

diff -r 956d2430cb29 -r 9b9c1192f972 Admin/etc/options
--- a/Admin/etc/options	Tue Apr 09 15:09:09 2019 +0200
+++ b/Admin/etc/options	Tue Apr 09 17:06:15 2019 +0200
@@ -10,3 +10,13 @@
 
 option isabelle_components_contrib_dir : string = "/home/isabelle/contrib"
   -- "unpacked components for remote build services"
+
+
+option build_release_server_linux : string = ""
+  -- "SSH user@host for remote build of heaps"
+
+option build_release_server_macos : string = ""
+  -- "SSH user@host for remote build of heaps"
+
+option build_release_server_windows : string = ""
+  -- "SSH user@host for remote build of heaps"
diff -r 956d2430cb29 -r 9b9c1192f972 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Apr 09 15:09:09 2019 +0200
+++ b/src/Pure/Admin/build_release.scala	Tue Apr 09 17:06:15 2019 +0200
@@ -211,7 +211,7 @@
 
 
 
-  /** build_release **/
+  /** build release **/
 
   private def execute(dir: Path, script: String): Unit =
     Isabelle_System.bash(script, cwd = dir.file).check
@@ -219,6 +219,43 @@
   private def execute_tar(dir: Path, args: String): Unit =
     Isabelle_System.gnutar(args, dir = dir).check
 
+
+  /* build heaps on remote server */
+
+  def remote_build_heaps(
+    options: Options, family: Platform.Family.Value, local_dir: Path, build_sessions: List[String])
+  {
+    val server_option = "build_release_server_" + family.toString
+    options.string(server_option) match {
+      case SSH.Target(user, host) =>
+        using(SSH.open_session(options, host = host, user = user))(ssh =>
+        {
+          Isabelle_System.with_tmp_file("tmp", "tar")(local_tmp_tar =>
+          {
+            execute_tar(local_dir, "-cf " + File.bash_path(local_tmp_tar) + " .")
+            ssh.with_tmp_dir(remote_dir =>
+            {
+              val remote_tmp_tar = remote_dir + Path.basic("tmp.tar")
+              ssh.write_file(remote_tmp_tar, local_tmp_tar)
+              val remote_commands =
+                List(
+                  "cd " + File.bash_path(remote_dir),
+                  "tar -xf tmp.tar",
+                  "./bin/isabelle build -o system_heaps -b -- " + Bash.strings(build_sessions),
+                  "tar -cf tmp.tar heaps")
+              ssh.execute(remote_commands.mkString(" && ")).check
+              ssh.read_file(remote_tmp_tar, local_tmp_tar)
+            })
+            execute_tar(local_dir, "-xf " + File.bash_path(local_tmp_tar))
+          })
+        })
+      case s => error("Bad " + server_option + ": " + quote(s))
+    }
+  }
+
+
+  /* main */
+
   private val default_platform_families: List[Platform.Family.Value] =
     List(Platform.Family.linux, Platform.Family.windows, Platform.Family.macos)