src/Pure/Admin/other_isabelle.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Admin/other_isabelle.scala	Thu Oct 13 12:13:43 2016 +0200
@@ -0,0 +1,66 @@
+/*  Title:      Pure/Admin/other_isabelle.scala
+    Author:     Makarius
+
+Manage other Isabelle distributions.
+*/
+
+package isabelle
+
+
+private class Other_Isabelle(progress: Progress, isabelle_home: Path, isabelle_identifier: String)
+{
+  other_isabelle =>
+
+
+  /* static system */
+
+  def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
+    Isabelle_System.bash(
+      "export ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) + "\n" + script,
+      env = null, cwd = isabelle_home.file, redirect = redirect,
+      progress_stdout = progress.echo_if(echo, _),
+      progress_stderr = progress.echo_if(echo, _))
+
+  def copy_dir(dir1: Path, dir2: Path): Unit =
+    bash("cp -a " + File.bash_path(dir1) + " " + File.bash_path(dir2)).check
+
+  def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
+    bash("bin/isabelle " + cmdline, redirect, echo)
+
+  def resolve_components(echo: Boolean): Unit =
+    other_isabelle("components -a", redirect = true, echo = echo).check
+
+  val isabelle_home_user: Path =
+    Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
+
+  val etc_settings: Path = isabelle_home_user + Path.explode("etc/settings")
+
+
+  /* init settings */
+
+  def init_settings(components_base: String, nonfree: Boolean)
+  {
+    if (etc_settings.is_file && !File.read(etc_settings).startsWith("# generated by Isabelle"))
+      error("Cannot proceed with existing user settings file: " + etc_settings)
+
+    Isabelle_System.mkdirs(etc_settings.dir)
+    File.write(etc_settings,
+      "# generated by Isabelle " + Date.now() + "\n" +
+      "#-*- shell-script -*- :mode=shellscript:\n")
+
+    val component_settings =
+    {
+      val components_base_path =
+        if (components_base == "") isabelle_home_user.dir + Path.explode("contrib")
+        else Path.explode(components_base).expand
+
+      val catalogs =
+        if (nonfree) List("main", "optional", "nonfree") else List("main", "optional")
+
+      catalogs.map(catalog =>
+        "init_components " + File.bash_path(components_base_path) +
+          " \"$ISABELLE_HOME/Admin/components/" + catalog + "\"")
+    }
+    File.append(etc_settings, "\n" + terminate_lines(component_settings))
+  }
+}