[isabelle-dev] Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"
boehmes at in.tum.de
Wed Mar 24 15:24:54 CET 2010
This is an artefact I forgot to remove. Changeset dc36cd801694 should
correct this. I am sorry for any inconvenience.
Brian Huffman wrote:
> After pulling from the repository this morning, and trying to rebuild
> Isabelle/HOL, I immediately get the following error:
> Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"
> I also get the same error when I try to just build Isabelle/Pure.
> I tried grepping everywhere I can think of, but I can't find the
> string "Cache_IO" anywhere, so I'm not sure why it's looking for such
> a directory that no longer exists.
> Can anyone tell me what's going on here?
> - Brian
More information about the isabelle-dev