[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Re: [PVS-Help] error message
Dear Sam Ower:
thanks for your help firstly.
I have tested PVS4.1 according to your guide a few hours ago. After bin/ix86-Linux/runtime/pvs-allegro runing, the error message "Segmentation Fault" shows.
My xemacs' version is "GNU Emacs 21.3.1 (i386-Mandrake-linux-gun, X toolkit, Xaw3d scroll bars)of 2003-8-27 on ke.mandrakesof.com, modified by Mandrake".
Emacs initialization files not being used can be guaranteed in my system. PVS3.2 and PVS4.0 work fine in the same Emacs version.
Thank you again.
主题：Re: [PVS-Help] error message
First make sure you ran bin/relocate. Then try and run
it should complain about PVSPATH not being set, but otherwise run.
Exit with C-d.
If all that works OK, there is likely something wrong with the XEmacs
setup. Try running with pvs -q, to make sure your Emacs initialization
files are not being used. If it still doesn't work, please send me your
XEmacs version (M-x emacs-version) and I'll see if I can figure it out.
许庆国 <qgxu@xxxxxxxxxxxxxxx> wrote:
> Hello, everyone here:
> When I start PVS 4.1, the following error message shown in xemacs buffer.
> Debugger entered--Lisp error: (error "Could not run PVS")
> signal(error ("Could not run PVS"))
> error("Could not run PVS")
> load("pvs-load" nil nil nil)
> eval-buffer(#<buffer *load*> nil "/home/xu/pvs41/emacs/go-pvs.el" nil t)
> load-with-code-conversion("/home/xu/pvs41/emacs/go-pvs.el" "/home/xu/pvs41/emacs/go-pvs.el" nil t)
> load("/home/xu/pvs41/emacs/go-pvs.el" nil t)
> command-line-1(("-load" "/home/xu/pvs41/emacs/go-pvs.el"))
> Can anyone there tell me what's the reason? (my linux version is Mandrake Linux 9.2 running through VMware workstation)
> thank you in advance!
> Xu Qingguo