[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PVS on Linux 9

The message on download page says that PVS supports
Redhat 5 and later, that's why I decided to try to
install it on Redhat 9.

1. Can I run PVS 3.1 on Redhat 9 at all?
2. Is there anything I should do before I install pvs
on redhat 9?
3. Please help me with the error I am getting when I
try to run "pvs -redhat 5" command. I use "redhat 5"
parameter because otherwise it is searching for redhat
9 directory.

Here is an output:
"Starting pvs-allegro6.2 -qq ...
mode) error:
errno, version GLBC_2.0 not defined in file libc.so.6
with link time reference"

In debug window I am getting:

"Debugger entered--Lisp error: (error "Could not run
signal(error ("Could not run PVS"))
error ("Could not run PVS")
load("pvs-load", nil nil nil)
eval-buffer(#<buffer  *load*>) nil
"/opt/pvs/emacs/go-pvs.el" nil t)
"/opt/pvs/emacs/go-pvs.el" nil t)
load("/opt/pvs/emacs/go-pvs.el" nil t)
command-line-1(("-load" "/opt/pvs/emacs/go-pvs.el"))

Thank you very much.


Do you Yahoo!?
New Yahoo! Photos - easier uploading and sharing.