[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 ...
dlopen(/opt/pvs/bin/ix86-redhat5/runtime/libac1623.so,
mode) error:
/opt/pvs/bin/ix86-redhat5/runtime/libac1623.so:symbol
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
PVS")
signal(error ("Could not run PVS"))
error ("Could not run PVS")
pvs()
load("pvs-load", nil nil nil)
eval-buffer(#<buffer  *load*>) nil
"/opt/pvs/emacs/go-pvs.el" nil t)
load-with-code-conversion("/opt/pvs/emacs/go-pvs.el"
"/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"))
command-line()
normal-top-level()


Thank you very much.

Malik

__________________________________
Do you Yahoo!?
New Yahoo! Photos - easier uploading and sharing.
http://photos.yahoo.com/