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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
