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
  swap space.

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 MHonArc.