Re: [isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory



On 04/02/16 22:29, Makarius wrote:
On Thu, 4 Feb 2016, C. Diekmann wrote:
If the build of a session image fails with an out of memory error, is it possible to do the build again with only one
core/process to limit the memory usage to 3.5GB?

You need to provide the 32-bit C/C++ standard libraries first, and then restart the whole application.  This allows to
use the 32-bit version of Poly/ML, which is separate from the 64-bit version.

Afterwards you can switch back to 64-bit via Plugin Options / Isabelle / General / ML System 64, although that is
practically irrelevant on only 8GB.

I think Cornelius was asking for a way to limit parallelism while still using 64-bit Poly/ML in order to reduce the
maximum amount of memory required over the course of a build. If so, then yes:

    isabelle build -o threads=1 ...

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.




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