src/Pure/Tools/build_job.scala

   val numa_node: Option[Int],
   command_timings0: List[Properties.T]
 ) {
   val options: Options = NUMA.policy_options(info.options, numa_node)
 
-  private val sessions_structure = deps.sessions_structure
+  private val base_info = deps.base_info(session_name)
 
   private val future_result: Future[Process_Result] =
     Future.thread("build", uninterruptible = true) {
       val parent = info.parent.getOrElse("")
       val base = deps(parent)

             ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(session_name))))
         }
         else Nil
 
       val resources =
-        new Resources(sessions_structure, base, log = log, command_timings = command_timings0)
+        new Resources(base_info.sessions_structure, base_info.base, log = log,
+          command_timings = command_timings0)
       val session =
         new Session(options, resources) {
           override val cache: Term.Cache = store.cache
 
           override def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info = {

       session_setup(session_name, session)
 
       val eval_main = Command_Line.ML_tool("Isabelle_Process.init_build ()" :: eval_store)
 
       val process =
-        Isabelle_Process.start(session, options, sessions_structure, store,
+        Isabelle_Process.start(session, options, base_info, store,
           logic = parent, raw_ml_system = is_pure,
           use_prelude = use_prelude, eval_main = eval_main,
           cwd = info.dir.file, env = env)
 
       val build_errors =