[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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