Re: [isabelle] polyml 4.1.3 segfault on debian sid
On 8/14/05, George Karabotsos <g_karab at cs.concordia.ca> wrote:
> I believe this is related to the kernel version of your Debian
/usr/local/polyml-devel-2005.08.15/driver $ uname -a
Linux trtr 2.6.12-1-686 #1 Tue Aug 9 13:00:08 UTC 2005 i686 GNU/Linux
> Check this older thread for additional information:
Thank you nonetheless!
BTW, I followed the instructions at
But it does not help either. I tried a little to build a new ML_dbase
of polyml. But figured I do not have that much time. A lot to learn
right now. :) I'd rather wait for an official fix. :)
Thanks to all you guys!
This archive was generated by a fusion of
Pipermail (Mailman edition) and