[isabelle-dev] Global build failures of the AFP in the testboard
makarius at sketis.net
Wed May 15 15:55:53 CEST 2013
On Thu, 25 Apr 2013, Dmitriy Traytel wrote:
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
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