Another warning --- at least for people who use FC3 and automatically upgrade with e.g. yum or up2date: I've just upgraded to kernel 2.6.11-1.14_FC3 and now get segmentation faults on PolyML startup. (The previous kernel 2.6.10-1.770_FC3 still works.) This is the first (pre-built) kernel distributed with Fedora Core to have had this problem and it should be easy to reproduce.
[phil@pclayton phil]$ poly Poly/ML RTS version I386-4.1.3 (14:28:57 Sep 30 2002) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Segmentation fault [phil@pclayton phil]$ uname -a Linux pclayton.eris.qinetiq.com 2.6.11-1.14_FC3 #1 Thu Apr 7 19:23:49 EDT 2005 i686 i686 i386 GNU/Linux
Phil
David Matthews wrote:
Martin Ellis wrote:
Lest anyone be planning an upgrade, I get segmentation faults on PolyML startup using Linux 2.6.9 (using PolyML as distributed with Isabelle). Maybe it's just me though.
2.6.8.1 seems fine though.
Can you give me some more information about this? I've just downloaded the source for 2.6.9-1.6_FC2 and built a kernel from that. Poly/ML runs fine using either the development version or the 4.1.3 RPM from polyml.org . Are you using a pre-built kernel and if so which one? Run uname -r if you're not sure.
David. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml