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



Hi,

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.

Thanks,
Joachim

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de

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



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