[isabelle-dev] Build error ("isabelle.Build not found")

[Ondřej Kunčar]

On 01/10/2013 01:25 PM, Jasmin Christian Blanchette wrote:
> Am 10.01.2013 um 13:16 schrieb Jasmin Blanchette:
>
>> I just updated Isabelle to af8ecf09a58c (from a version that was one or two days old) and whenever I try to build HOL, I get this error:
>>
>>     isabelle build -c -b HOL
>>     Fehler: Hauptklasse isabelle.Build konnte nicht gefunden oder geladen werden
>>     0:00:00 elapsed time, 0:00:00 cpu time
>>
>> Mac OS X 10.6. I haven't changed any settings recently.
>
> I did some updates back and forth along the history and strangely enough the problem disappeared once I went back to the above change (af8ecf09a58c). Strange.
>
> Jasmin
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>

I believe you have the same problem that was already discussed here:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2013-January/003736.html

Ondrej