Re: [isabelle] Building isabelle-devel on a 2GB of RAM


Am Montag, den 20.09.2010, 21:44 +0200 schrieb Joachim Breitner:
> I’m trying to build the mercurial version of Isabelle on a Thinkpad T400
> with 2GB of RAM and a 64bit Debian Linux using polyml-5.2.1. So far, I
> have always ran into the "Run out of store - interrupting threads"
> error... (or my system shut down due to overheating).
> What are sane values for -H on such a system? Or is this machine just
> too weak.

hmm, this time, with -H 500 I got 
*** exception Thread "Thread creation failed" raised


Joachim Breitner
  e-Mail: mail at
  ICQ#: 74513189
  Jabber-ID: nomeata at

Attachment: signature.asc
Description: This is a digitally signed message part

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.