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
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
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
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
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
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,
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