# HG changeset patch
# User wenzelm
# Date 1708628332 -3600
# Node ID a6dc0d4ffea2ace48c227f88aa12aced2e9828e2
# Parent  512d701d0df996bd078e097ba6b0533b346621d0
tuned;

diff -r 512d701d0df9 -r a6dc0d4ffea2 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Thu Feb 22 17:24:43 2024 +0100
+++ b/src/Pure/Build/build.scala	Thu Feb 22 19:58:52 2024 +0100
@@ -111,6 +111,8 @@
   }
 
   class Engine(val name: String) extends Isabelle_System.Service {
+    engine =>
+
     override def toString: String = name
 
     def build_options(options: Options, build_cluster: Boolean = false): Options = {
@@ -122,8 +124,8 @@
       build_cluster: Boolean = false,
       cache: Term.Cache = Term.Cache.make()
     ): Store = {
-      val store_options = build_options(options, build_cluster = build_cluster)
-      val store = Store(store_options, build_cluster = build_cluster, cache = cache)
+      val build_options = engine.build_options(options, build_cluster = build_cluster)
+      val store = Store(build_options, build_cluster = build_cluster, cache = cache)
       Isabelle_System.make_directory(store.output_dir + Path.basic("log"))
       Isabelle_Fonts.init()
       store