src/Pure/Admin/build_history.scala

     isabelle_identifier: String = "remote_build_history",
     self_update: Boolean = false,
     progress: Progress = No_Progress,
     rev: String = "",
     afp_rev: Option[String] = None,
+    ghc_setup: Boolean = false,
+    ocaml_setup: Boolean = false,
     options: String = "",
     args: String = ""): List[(String, Bytes)] =
   {
     /* Isabelle self repository */
 

       self_hg.update(rev = hg.parent(), clean = true)
 
       execute("bin/isabelle", "components -I")
       execute("bin/isabelle", "components -a", echo = true)
       execute("Admin/build", "jars_fresh")
+      for {
+        (setup, tool) <- List((ghc_setup, "ghc_setup"), (ocaml_setup, "ocaml_setup"))
+        if setup && ssh.is_file(Path.explode("lib/Tools/" + tool))
+      } execute("bin/isabelle", tool, echo = true)
     }
 
     val rev_id = self_hg.id(rev)