Am 05/12/2012 22:50, schrieb Gerwin Klein: > On 05/12/2012, at 6:31 PM, Tobias Nipkow <[email protected]> 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. Tobias > 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
