[isabelle-dev] AFP devel broken

Tobias Nipkow nipkow at in.tum.de
Thu Dec 6 09:17:48 CET 2012

Am 05/12/2012 22:50, schrieb Gerwin Klein:
> On 05/12/2012, at 6:31 PM, Tobias Nipkow <nipkow at in.tum.de> wrote:
>> Can anybody still build the AFP on some machine?
> I have been able to build everything on a linux machine late last night.
> The only entry that comes up with an error is Girth_Cromatic (something with filter_lim that looks related to a recent change).
> I am unsure how to proceed debugging these hangs. I will try some other machines and see if it is correlated with MacOS X or if it is something else.
> Since no log file gets produced and no information comes out of tty mode, it's not even clear to me which stage exactly hangs. It's entirely possible that it's just hanging trying to load the parent image, for instance. It doesn't seem to have anything to do with the content of the theories.

As far as I can see, the poly process always hangs after just a few secs, but
there is still a java process which keeps running and uses small amounts of
time, like some kind of busy wait.


> Gerwin
> ________________________________
> The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list