Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Gerwin Klein
On 06/12/2012, at 10:58 AM, Alexander Krauss wrote: > On 12/05/2012 10:50 PM, Gerwin Klein wrote: > >> 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 produc

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Alexander Krauss
On 12/05/2012 10:50 PM, Gerwin Klein wrote: 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 w

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Gerwin Klein
On 05/12/2012, at 6:31 PM, Tobias Nipkow 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 cha

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Tobias Nipkow
Am 05/12/2012 16:46, schrieb Jasmin Christian Blanchette: > Am 05.12.2012 um 16:33 schrieb Tobias Nipkow: > >> I tried again (but after some hg fetches, and am now on 3ae4376cb739), and >> now >> HOL still builds but HOLCF hangs. On the other hand Johannes (running Linux >> rather than MacOS) is

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Jasmin Christian Blanchette
Am 05.12.2012 um 16:33 schrieb Tobias Nipkow: > I tried again (but after some hg fetches, and am now on 3ae4376cb739), and now > HOL still builds but HOLCF hangs. On the other hand Johannes (running Linux > rather than MacOS) is fine. Suspicion: I had to do isabelle components -a this > morning, a

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Tobias Nipkow
I tried again (but after some hg fetches, and am now on 3ae4376cb739), and now HOL still builds but HOLCF hangs. On the other hand Johannes (running Linux rather than MacOS) is fine. Suspicion: I had to do isabelle components -a this morning, and this may have done it. Tobias Am 05/12/2012 15:37,

Re: [isabelle-dev] AFP devel broken

2012-12-05 Thread Lars Noschinski
On 05.12.2012 08:31, Tobias Nipkow wrote: I believe Gerwin already reported this in some email, and I can confirm it: the afp test hangs even on my own laptop. The trace: lapbroy100:AFP nipkow$ isabelle afp_build -A Building Jinja ... Finished Jinja (0:05:06 elapsed time, 0:15:28 cpu time, facto