Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Aug 18 2022 at 15:55):

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

view this post on Zulip Email Gateway (Aug 18 2022 at 16:09):

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

view this post on Zulip Email Gateway (Aug 18 2022 at 16:09):

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: Mar 29 2024 at 12:28 UTC