[isabelle-dev] Analysis not building
lp15 at cam.ac.uk
Sat Feb 2 14:39:14 CET 2019
It died twice using “isabelle jedit -l HOL-Analysis”, once using "isabelle jedit Analysis/Analysis.thy” and once using "isabelle build -b HOL-Analysis”.
The reason I fetched in the first place was that I was getting crashes in my interactive sessions.
> On 2 Feb 2019, at 13:26, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
>> HOL-Analysis can’t be built (reproducibly) with the latest version (76f2d492627e). It simply dies, no error message.
> I cannot reproduce this.
> ML_OPTIONS="--maxheap 9G"
> Have you tried a fresh build or delete the corresponding log / saved
> state manually?
More information about the isabelle-dev