Re: [PVS-Help] PVS doesn't start

[Sam Owre <owre@xxxxxxxxxxx>]

Hi Sjaak,

I assume you ran bin/relocate after the install.
If that's the case, could you try running the image
/home/Sjaak/Applications/PVS-42/bin/<platform>/runtime/pvs-allegro

If it's working correctly, it should complain about the PVSPATH
environment variable.  Otherwise, please send me what results you see.

Thanks,
Sam

Sjaak Smetsers <s.smetsers@science.ru.nl> wrote:

> Hi,
> 
>  
> 
> I?ve upgraded my fedora to version 14 and i had to reinstall PVS. When I try to
> start PVS (./pvs) emacs is opened but pvs itself  shows no sign of life.
> 
> The backtrace says:
> 
>  
> 
> Debugger entered--Lisp error: (error "Buffer *pvs* has no process")
> 
>   process-status(nil)
> 
>   pvs()
> 
>   load("pvs-load" nil nil nil)
> 
>   eval-buffer(#<buffer  *load*> nil "/home/Sjaak/Applications/PVS-42/emacs/
> go-pvs.el" nil t)  ; Reading at buffer position 2780
> 
>   load-with-code-conversion("/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" "
> /home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" nil t)
> 
>   load("/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" nil t)
> 
>   command-line-1(("-load" "/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el"))
> 
>   command-line()
> 
> normal-top-level()
> 
>  
> 
>  
> 
> Any suggestions?
> 
>  
> 
> Many regards,
> 
>  
> 
> Sjaak Smetsers
> 
> University of Nijmegen