Re: [isabelle] isabelle build -vb runs out of store
More info on this:
This message seems to come from PolyML directly. When it happens,
top tells me I have about 500m of free heap, and lots (6g) of free
The same happens when trying to build in ProofGeneral, it just kills the
whole Isabelle process.
On Mi, 2014-06-11 at 14:15 +0200, Peter Lammich wrote:
> When I type
> isabelle build -vbd. ProjectName
> it starts the build process as usual, and after some while, it
> terminates with the message "Run out of store - interrupting threads":
> What runs out of store here, and how can I increase the available store?
This archive was generated by a fusion of
Pipermail (Mailman edition) and