Failure in build system

[Makarius]

On 26/06/2025 10:55, Fabian Huch wrote:
> I think the problem comes from Isabelle/0e36478a1b6a. Initializing the PIDE 
> Session inside Session_Job creates a null store:
> 
> override val store:Store =store
> 
> so each call of Session.cache creates a new cache, allocating additional 
> memory. It looks like the intention of the above assignment is to assign the 
> store from the build context?

There is indeed something wrong. See now:

changeset:   82769:7cb5ef6da1f0
user:        wenzelm
date:        Thu Jun 26 17:14:01 2025 +0200
files:       src/Pure/Build/build_job.scala src/Pure/PIDE/session.scala
description:
proper build_context.store, instead of circular null value (amending 
0e36478a1b6a and e891ff63e6db);


	Makarius