Hi Shu,
We will need some more information about this...
1. Does "pp -d <database>" work? (Note "pp" not "xpp".)
This should give you the ProofPower session
directly in the terminal.
2. What version of ProofPower are you using?
If "pp -d <database>" worked above:
The version printed by ProofPower.
Otherwise:
The ProofPower version is contained in the
file $PPHOME/VERSION where PPHOME is such that
"which xpp"
returns $PPHOME/bin/xpp.
Also, in this case, the Poly/ML version will be useful.
What does "ldd `which pp-ml`" say for libpolyml
and what version is Poly/ML in that directory.
3. What OS (incl. version) are you using?
What does "uname -a" report?
4. Are you running xpp (or pp) on the machine that
it was built on?
If not:
What does "file `which xpp`" report?
If you can, what does "uname -a" give for the
machine that built it?
5. Does "PPENVDEBUG=1 xpp" produce any more output?
That's probably enough to start with!
Phil
Shu Cheng wrote:
Hello everyone,
I am a fresher here.
When I try to use "xpp -d database" to open an xpp session in X11, I get
an error message -- Segmentation fault. Is anyone have any idea for this?
Thanks a lot!
Shu Cheng
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
