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

[PVS-Help] Problem installing in RED HAT 9



Hello,
I tried to install PVS 3.1 in red hat 9 and after doing /bin/relocate and
then trying to execute pvs I get the following messages in the emacs
window that pops up.
************************************************************************
Starting pvs-allegro6.2 -qq ...
dlopen(/home/nikhil/pvs/bin/ix86-redhat5/runtime/libacl623.so, mode)
error: /home/nikhil/pvs/bin/ix86-redhat5/runtime/libacl623.so: symbol
errno, version GLIBC_2.0 not defined in file libc.so.6 with link time
reference
************************************************************************
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/nikhil/pvs/emacs/go-pvs.el" nil
t)
  load-with-code-conversion("/home/nikhil/pvs/emacs/go-pvs.el"
"/home/nikhil/pvs/emacs/go-pvs.el" nil t)
  load("/home/nikhil/pvs/emacs/go-pvs.el" nil t)
  command-line-1(("-load" "/home/nikhil/pvs/emacs/go-pvs.el"))
  command-line()
  normal-top-level()
*******************************************************************

Please suggest a way out of this problem.


Nikhil