[isabelle-dev] [Fwd: doc test failed]

[Gerwin Klein]

The test should build all images, but it is possible that the doc test is started before the rest of the test gets there.

Explicitly building ZF when processing doc-src should make that work. I'm about to push that change. We will see if that helps..

Cheers,
Gerwin

On 06/02/2011, at 11:01 PM, Tobias Nipkow wrote:

> Yes, the missing ZF image is to be the problem. For some reason that has
> changed, as Slawomir Kolodynski also noticed. So we should either build
> ZF again or stop that test.
> 
> Tobias
> 
> Alexander Krauss schrieb:
>> (please keep postings to isabelle-dev in English)
>> 
>> Tobias Nipkow wrote:
>>> Seit Wochen wenn nicht Monaten bekomme ich alle paar Tage diese
>>> Fehlermeldung:
>> 
>> More precisely, the error occurs (almost) daily since January 11th,
>> according to my email archive.
>> 
>>> Fuehlt sich hier jemand zustaendig?
>> 
>> So far, I didn't really feel responsible, since I don't know how the doc
>> test works and what its implicit assumptions are. It seems though that
>> the IsaMakefile for IsarRef assumes that the images are already present,
>> whereas, e.g., in doc-src/ZF/IsaMakefile it is rebuilt explicitly.
>> 
>> Alex
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>