[ProofPower] xpp Segmentation fault

2011-04-17 Thread Shu Cheng
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 ma

Re: [ProofPower] xpp Segmentation fault

2011-04-17 Thread Shu Cheng
eport? 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&

Re: [ProofPower] xpp Segmentation fault

2011-04-17 Thread Shu Cheng
de on which it seg faults, e.g. gdb xpp (gdb) start (gdb) step ... etc. (I am assuming gdb is available on the Mac. Also, you may have a better debugger to hand, e.g. a graphical one.) This isn't ideal. Hopefully one of the Mac users can shed more light on this issue! Phil Sh