--- a/src/Pure/Admin/ci_build_benchmark.scala Wed Sep 28 19:14:57 2022 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-/* 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)
- })
-}