[isabelle-dev] AFP devel broken

Gerwin Klein Gerwin.Klein at nicta.com.au
Wed Dec 5 22:50:12 CET 2012

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.



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.

More information about the isabelle-dev mailing list