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


Am Montag, den 20.09.2010, 22:22 +0200 schrieb Joachim Breitner:
> 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

I managed to build it using polyml-5.3.0 and 32 bit mode, with flags -H
500 and -M 0 -p 1 -q 0.


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.