[isabelle-dev] failing tests

Makarius 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 
> 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



More information about the isabelle-dev mailing list