[isabelle-dev] Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"

[Brian Huffman]

Thanks for the quick response!

- Brian

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.
>
> Sascha
>
>
> 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
>