I'm running ProofPower 2.7.5 (partly or wholly written in Poly/ML, I understand) on Slackware Linux 10.0 with the 2.6.10 kernel. Since we upgraded some machines to this kernel, we now see a Poly/ML (4.1.3) segmentation fault. I'm trying to get in touch with Rob Arthan, the maintainer of ProofPower, but I wonder whether this is actually a Poly/ML-related problem. We see:

$ pp_make_database -p zed testingdb /usr/local/pkg/proofpower-2.7.5/bin/pp_make_database: line 214: 7532 Segmentation fault $RUNML$PDATABASEFN >/dev/null 2>&1 <<++++ (icl'Kernel.icl'new_hierarchy(); ($QUIT)) handle _ => PPCompiler.exit 1 ++++

pp_make_database: cannot create temporary file /usr/local/pkg/proofpower-2.7.5/db/zed.polydb~

Any ideas?

John A. Murdie Department of Computer Science University of York