On Mon, 1 Oct 2012, Gerwin Klein wrote:
isatest and afptest have the following symptom when they get to their isabelle
build call:
Building Pure ...
I/O error: /home/isatest/isabelle-at-poly/browser_info/isabelle.gif
Finished at Sun Sep 30 00:26:55 CEST 2012
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
------------------- test FAILED --- Sun Sep 30 00:26:55 CEST 2012 --- lxbroy2
Any ideas what's going on?
No idea yet. Maybe just another variant of NFS or Gentoo oddities.
Manual "isabelle build HOL" (or Pure) seem to work for me, but I can't
figure out what the difference between the automated call and the manual
one is. Also, isabelle.gif doesn't seem to be mentioned in any ROOT
files.
isabelle.gif is one of the many files that are treated as "constant" from
the distribution directory. It is copied in the Scala part -- build.scala
as revealed by hypersearch over the sources of Isabelle/44d85dc8ca08.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
