Re: [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?

2014-06-26 Thread Makarius
On Fri, 6 Jun 2014, Thomas Sewell wrote: In case anyone else gets stuck in this situation, here is my best workaround: cat thys/*/ROOT | grep session | cut -d' ' -f2 | xargs -n 10 isabelle build -d thys By focusing on (the dependencies of) 10 sessions at a time, isabelle seems to get the

Re: [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?

2014-06-06 Thread Tobias Nipkow
This message on isabelle-users is related and suggests how to avoid the OutOfMemory: https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2014-April/msg00116.html Tobias On 06/06/2014 06:40, Thomas Sewell wrote: While fixing theories in the AFP, I arrived in a strange situation where isabelle

[isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?

2014-06-05 Thread Thomas Sewell
While fixing theories in the AFP, I arrived in a strange situation where isabelle build -D thys would no longer find and check the remaining unbuilt theories. Instead, I got a java OutOfMemory exception on the java heap. This is before anything starts building - I take it java has run out of