Re: [isabelle] Ubuntu - All external provers suddenly segfaulting



Short follow-up: Ubuntu's recent update 3.13.0-61-generic fixes the issue.

2015-07-29 10:09 GMT+02:00 C. Diekmann <diekmann at in.tum.de>:
> Okay, it seems to be an Ubuntu problem:
>
> Yesterday, Kernel 3.13.0-59-generic got installed via a security update.
>
> Fix: If I boot into 3.13.0-58-generic again, it works fine. Maybe this
> info helpful for others.
>
> Best,
>  Cornelius
>
> 2015-07-29 9:56 GMT+02:00 Lars Noschinski <noschinl at in.tum.de>:
>> On 29.07.2015 09:45, C. Diekmann wrote:
>>> dmesg tells:
>>> [   44.850653] sh[2508]: segfault at 225192d0 ip 00000000225192d0 sp
>>> 0000000034b638c0 error 14 in ld-2.19.so[7f7d22518000+23000]
>>> [   44.911629] sh[2511]: segfault at 582052d0 ip 00000000582052d0 sp
>>> 00000000bb0488a0 error 14 in ld-2.19.so[7f7f58204000+23000]
>>> [   45.138203] sh[2518]: segfault at 946682d0 ip 00000000946682d0 sp
>>> 0000000065ab5210 error 14 in ld-2.19.so[7f4294667000+23000]
>>
>> Strange. This is /bin/sh segfaulting ...
>>
>>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.