Re: [isabelle] polyml 4.1.3 segfault on debian sid

C G wrote:

>I got the following with Isabelle 2004 & polyml 4.1.3
>on Debian GNU/Linux sid
>/usr/local/polyml-4.1.3/x86-linux $ ./poly
>Poly/ML RTS version I386-4.1.3 (13:57:33 Sep 30 2002)
>Copyright (c) 2002 CUTS and contributors.
>Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%)
>段错误 (core dumped)
>Please help! Thank you!
I believe this is related to the kernel version of your Debian

Check this older thread for additional information:


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