[isabelle-dev] Global build failures of the AFP in the testboard

[Makarius]

On Thu, 25 Apr 2013, Dmitriy Traytel wrote:

> http://isabelle.in.tum.de/testboard/Isabelle/report/2cef0644d3d7416f8d7cea92e24fd694

Side-remark about mira configuration: the log says

   ML_HOME="/home/polyml/polyml-svn/x86-linux"

but that SVN version is often fluctuating, depending on current 
experiments with the SVN, and usually lagging behind.

The latest official release version is here: /home/polyml/polyml-5.5.0
or even just what Admin/components/main specifies.

For best performance on hardware with many cores, ML options like this 
usually help:

   ML_OPTIONS="-H 1000 --gcthreads 4"

or

   ML_OPTIONS="-H 1000 --gcthreads 8"


Where are these mira/testboard options anyway?  Normally the entry points 
for anything like that is Admin/ within the Isabelle repository, such as 
Admin/isatest/.


 	Makarius