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



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.