Re: [isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory
On 02/02/2016 22:35, Makarius wrote:
On Tue, 2 Feb 2016, Peter Lammich wrote:
Have you used 64bit poly? What happens on 32bit poly?
Using Poly/ML with x86_64 is actually a common mistake -- it is the
default on most Linux installations, but the Isabelle installation
instructions say explicitly that 32bit libraries should be installed.
We are back to the question how much documentation people want to use.
Anybody with higher-than average requirements should peek at advanced
What also helps under tight ML heap conditions to is vary the ML_OPTIONS
a bit, concerning the initial heap size. This changes the way how
Poly/ML grows and shrinks the heap, and sometimes it makes a difference.
Actually, that used to be the case. At one time the initial heap size
was also used to calculate the increment if the heap needed to be
expanded. Since Poly/ML 5.5 the heap sizing is adjusted depending on
the GC load. The heap size is only adjusted after a major GC so if you
know you're going to need a large heap it may help to set the minimum
size before you start.
This archive was generated by a fusion of
Pipermail (Mailman edition) and