[isabelle-dev] Global build failures of the AFP in the testboard
traytel at in.tum.de
Thu Apr 25 11:39:57 CEST 2013
since "Containers" are in the AFP mira results in global crashes of the
By global I mean that no session is built at all due to an outdated (wrt
Isabelle repository, e.g. 916271d52466) import of
"src/HOL/Library/Efficient_Nat.thy" in the session "Containers-Benchmarks".
For now I commented the "Containers-Benchmarks" session out (AFP/
99c45df7f5af) - now the test will reveal further outdated constructs in
"Containers" (mostly related to Florian's reform of the code generation
The question remains, whether it is possible for the build tool to
proceed with other sessions if the imports of a single session are faulty.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev