Are you referring to *** Failed to prepare dependency graph
This is the response if some file was not created. Which indicates that something might be amiss on the system level. This error first occured a few months ago. After a week or two it went away. Now it is back. I don't believe that the sysadmins keep changing to latex environment back and forth, but I don't know what it is. Tobias Florian Haftmann schrieb: > I just spent some time restoring two broken AFP sessions (see > http://www4.in.tum.de/~haftmann/cgi-bin/testboard.cgi/AFP/report/d96154a03b5c6414a7a0e3309e948260, > one of them due to my own fault). > > What is my concern is the recent behaviour of the official AFP isatest: > it reports a lot of sporadic failures. When settings up AFP tests on > the lxlabbroy12-14 machines here at TUM I encountered similar things, > then I decided to turn parallelism of (usedir -M 1 -q 0). I thought > this was due to the restricted resources of the lxlabbroy12-14 machines, > but now I see similar things happen on the regular AFP isatest on > macbroy2. Is there any plausible explanation for this at hand? > > Florian > > > > ------------------------------------------------------------------------ > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
