From: Joachim Breitner <mail@joachim-breitner.de>
Hi,
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.
Greetings,
Joachim
signature.asc
From: Joachim Breitner <mail@joachim-breitner.de>
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
signature.asc
From: Joachim Breitner <mail@joachim-breitner.de>
Hi,
hmm, this time, with -H 500 I got
*** exception Thread "Thread creation failed" raised
Greetings,
Joachim
signature.asc
Last updated: Nov 21 2024 at 12:39 UTC