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
> installation.

I'm using

/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:
> *http://tinyurl.com/7dt4t

Thank you nonetheless!

BTW, I followed the instructions at

http://www.polyml.org/linuxsegfault.html

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 MHonArc.