23 Nov
2004
23 Nov
'04
11:46 a.m.
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.