You are right, due was discontinued, and it was intentional. This may well have caused our problem - I had similar problems myself. Thanks for your fix.
Tobias Makarius schrieb: > On Mon, 13 Dec 2010, Gerwin Klein wrote: > >>> Am 13.12.2010 10:38, schrieb Tobias Nipkow: >>>> Are you referring to >>>> >>>> *** Failed to prepare dependency graph >>> >> - this very strange "failed to prepare dependency graph" >> >> The last one seemed to be because epstopdf was missing/not found. >> Whenever I tried to test manually, everything worked, though, and then >> the error disappeared altogether. > > Since isatest complains about "gs: command not found" here, I have now > again made that /home/isatest/.bashrc includes /opt/local/bin and > /usr/local/bin where this often resides. > > We've had the same problem some weeks ago. I think it was caused by the > local admins when they discontinued the ancient "DUE" setup silently. > Or was that unintentional? > > Few people at TUM might recall $HOME/.due, but isatest is a rather old > account so its defaults were provided via that. > > > Makarius > _______________________________________________ > 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
