src/Pure/Admin/ci_build_benchmark.scala

clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";

/*  Title:      Pure/Admin/ci_build_benchmark.scala
    Author:     Lars Hupel and Fabian Huch, TU Munich

CI benchmark build profile.
*/

package isabelle


object CI_Build_Benchmark {
  val isabelle_tool =
    Isabelle_Tool("ci_build_benchmark", "builds Isabelle benchmarks + timing group",
      Scala_Project.here, { args =>
    val getopts = Getopts("""
Usage: isabelle ci_build_benchmark

  Builds Isabelle benchmark and timing sessions.
    """)
    getopts(args)

    val selection = Sessions.Selection(session_groups = List("timing"))
    val profile = CI_Profile.Profile(threads = 6, jobs = 1, numa = false)
    val config = CI_Profile.Build_Config(documents = false,
      select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")), selection = selection)

    CI_Profile.build(profile, config)
  })
}