[isabelle-dev] Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"
brianh at cs.pdx.edu
Wed Mar 24 15:27:25 CET 2010
Thanks for the quick response!
On Wed, Mar 24, 2010 at 7:24 AM, Sascha Boehme <boehmes at in.tum.de> wrote:
> Hi Brian,
> 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