[isabelle-dev] Global build failures of the AFP in the testboard
makarius at sketis.net
Thu May 16 12:56:03 CEST 2013
On Wed, 15 May 2013, Gerwin Klein wrote:
> On 16.05.2013, at 1:25 AM, Lars Noschinski <noschinl at in.tum.de> wrote:
>> @Alex, Gerwin: Is there any reason remaining why the AFP should not use the default PolyML version? I remember Alex and I dropped a similar override from the Isabelle tests.
> Not that I am aware of.
Since it is polyml-svn and x86_64, too, I guess it is just historic. At
some point we've had problems getting AFP through with some polyml-5.4.x
version, and that was the result of strechting as far as possible. Now it
should all work just with the component defaults.
More information about the isabelle-dev