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

Makarius makarius at sketis.net
Wed May 15 15:55:53 CEST 2013

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


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"


   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 


More information about the isabelle-dev mailing list