--- a/src/Pure/Build/build_benchmark.scala Fri Feb 16 10:31:50 2024 +0100
+++ b/src/Pure/Build/build_benchmark.scala Fri Feb 16 10:45:24 2024 +0100
@@ -8,8 +8,10 @@
object Build_Benchmark {
- /* ZF-Constructible as representative benchmark session with short build time and requirements */
+ /* benchmark */
+ // ZF-Constructible as representative benchmark session with
+ // short build time and requirements
val benchmark_session = "ZF-Constructible"
def benchmark_command(
@@ -103,6 +105,9 @@
}
}
+
+ /* Isabelle tool wrapper */
+
val isabelle_tool = Isabelle_Tool("build_benchmark", "run benchmark for build process",
Scala_Project.here,
{ args =>