Re: [PVS-Help] error message

[Sam Owre <owre@xxxxxxxxxxx>]

Hi Xu,

First make sure you ran bin/relocate.  Then try and run
bin/ix86-Linux/runtime/pvs-allegro
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.

Regards,
Sam Owre

许庆国 <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")
>   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"))
>   command-line()
>   normal-top-level()
> 
> 
> 
>  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
> 2008/5/13
>