[isabelle-dev] failing tests
makarius at sketis.net
Mon Oct 1 11:32:21 CEST 2012
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
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.
More information about the isabelle-dev