Sana I. (Mar 09 2025 at 04:14): Sana I. (Mar 09 2025 at 04:14):Hi everyone,
I’m trying to understand something, and I might be missing something basic. I’d really appreciate any insights.
I ran isabelle build -D . to build some sessions in batch mode, and everything worked as expected. However, now when I start Isabelle/jEdit, it starts rebuilding the heap every time, which takes a long time. This never happened before. This happens every single time I start Isabelle/jEdit now. The output on the console says "Build started for Isabelle/HOL..
Building Pure..
Building HOL..
....."
Did I accidentally break my Isabelle installation, or is there something I need to configure to prevent this unnecessary recompilation?
Mathias Fleury (Mar 09 2025 at 06:21):Not normal
Mathias Fleury (Mar 09 2025 at 06:21):are you sure that you are using the same isabelle?
Mathias Fleury (Mar 09 2025 at 06:21):aka when you run isabelle jedit do you also get rebuilds?
Sana I. (Mar 09 2025 at 06:34):Mathias Fleury said:
aka when you run
isabelle jeditdo you also get rebuilds?
Yes, it is the same Isabelle installation. And when I run isabelle jedit, I am not seeing any rebuilds like that.
Fabian Huch (Mar 10 2025 at 08:33):You have to use option -b to build perisistent heap images, otherwise only inner nodes of the build graph will be persisted.
Last updated: Apr 18 2025 at 20:21 UTC