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