[isabelle-dev] I/O error in isabelle build

Lars Hupel hupel at in.tum.de
Wed May 16 20:48:44 CEST 2018


I'm seeing some spurious (?) errors in "isabelle build":

17:15:13 Finished List-Index (0:00:08 elapsed time, 0:00:11 cpu time, 
factor 1.37)
17:15:13 *** I/O error: 
/tmp/isabelle-jenkins/process478460358635901180/export2631876 (No such 
file or directory)

I don't understand where these are coming from. One instance can be 
found here:

https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1592/consoleFull

Of note are these warnings:

15:37:27 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Fishburn_Impossibility.db"
15:37:27 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/FocusStreamsCaseStudies.db"
15:37:27 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/HLDE.db"
15:37:27 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/IEEE_Floating_Point.db"
15:37:27 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Program-Conflict-Analysis.db"
15:37:28 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Residuated_Lattices.db"
15:37:28 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Rewriting_Z.db"
15:37:28 ### Ignoring bad database: 
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Shivers-CFA.db"

It also happened with the previous build on the same machine:

https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1588/consoleFull



More information about the isabelle-dev mailing list