support remote_build_history with optional ghc_setup / ocaml_setup;
authorwenzelm
Mon Nov 05 21:59:22 2018 +0100 (6 months ago)
changeset 692432a17c481d05e
parent 69242 c911716d29bb
child 69244 264002272392
support remote_build_history with optional ghc_setup / ocaml_setup;
src/Pure/Admin/build_history.scala
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/build_history.scala	Mon Nov 05 20:53:16 2018 +0100
     1.2 +++ b/src/Pure/Admin/build_history.scala	Mon Nov 05 21:59:22 2018 +0100
     1.3 @@ -513,6 +513,8 @@
     1.4      progress: Progress = No_Progress,
     1.5      rev: String = "",
     1.6      afp_rev: Option[String] = None,
     1.7 +    ghc_setup: Boolean = false,
     1.8 +    ocaml_setup: Boolean = false,
     1.9      options: String = "",
    1.10      args: String = ""): List[(String, Bytes)] =
    1.11    {
    1.12 @@ -537,6 +539,10 @@
    1.13        execute("bin/isabelle", "components -I")
    1.14        execute("bin/isabelle", "components -a", echo = true)
    1.15        execute("Admin/build", "jars_fresh")
    1.16 +      for {
    1.17 +        (setup, tool) <- List((ghc_setup, "ghc_setup"), (ocaml_setup, "ocaml_setup"))
    1.18 +        if setup && ssh.is_file(Path.explode("lib/Tools/" + tool))
    1.19 +      } execute("bin/isabelle", tool, echo = true)
    1.20      }
    1.21  
    1.22      val rev_id = self_hg.id(rev)
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 05 20:53:16 2018 +0100
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 05 21:59:22 2018 +0100
     2.3 @@ -159,6 +159,8 @@
     2.4      historic: Boolean = false,
     2.5      history: Int = 0,
     2.6      history_base: String = "build_history_base",
     2.7 +    ghc_setup: Boolean = false,
     2.8 +    ocaml_setup: Boolean = false,
     2.9      options: String = "",
    2.10      args: String = "",
    2.11      afp: Boolean = false,
    2.12 @@ -345,6 +347,8 @@
    2.13                  self_update = r.self_update,
    2.14                  rev = rev,
    2.15                  afp_rev = afp_rev,
    2.16 +                ghc_setup = r.ghc_setup,
    2.17 +                ocaml_setup = r.ocaml_setup,
    2.18                  options =
    2.19                    " -N " + Bash.string(task_name) + (if (i < 0) "" else "_" + (i + 1).toString) +
    2.20                    " -f " + r.options,