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

[Lars Noschinski]

On 17.05.2013 17:24, Makarius wrote:
> On Thu, 16 May 2013, Lars Noschinski wrote:
>
>> -----------------------------
>> ML_PLATFORM=x86-linux
>> ML_HOME="/home/polyml/polyml-svn/x86-linux"
>> ML_SYSTEM="polyml-5.5.0"
>> ML_OPTIONS="-H 1000"
>>
>> ISABELLE_BUILD_OPTIONS="threads=4 parallel_proofs=2"
>> -----------------------------
>>
>> and I would simplify this to:
>>
>> -----------------------------
>> ML_OPTIONS="-H 1000"
>>
>> ISABELLE_BUILD_OPTIONS="threads=4 parallel_proofs=2"
>> -----------------------------
[...]
> Alternatively, you could just make a general default of "--gcthreads 4"
> for all machines as decent approximation.

This is what I did now, see revision 9ce4a76615bb9.