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

PVS installation with redhat Linux 9



Hello,

When I try to run pvs in redhat linux 9 the script gives the following 
error:
./pvs: line 187: [: too many arguments
./pvs: line 200: [: too many arguments
./pvs: line 203: [: too many arguments
Cannot find /l/mitras/pvs/bin/ix86-redhatRed Hat Linux release 9 
(Shrike)/runtime/
Check the values of PVSPATH and PVSLISP

So I tried:
  ./pvs -redhat 5

This time the emacs window is launched, with this error:

Signaling: (wrong-type-argument listp turn-on-auto-fill)
   member(turn-on-auto-fill turn-on-auto-fill)
   sit-for(0)
   comint-update-status(start)
   ilisp-update-status(start)
   ilisp("pvs" setup-pvsallegro)
   ilisp-start-dialect("pvs" nil setup-pvsallegro)
   pvsallegro("pvs" nil)
   pvs-init()
   pvs()
   load("pvs-load" nil nil nil)
   eval-buffer(#<buffer  *load*> nil "/l/mitras/pvs/emacs/go-pvs.el")
   load-with-code-conversion("/l/mitras/pvs/emacs/go-pvs.el" 
"/l/mitras/pvs/emacs/go-pvs.el" nil t)
   load("/l/mitras/pvs/emacs/go-pvs.el" nil t)
   command-line-1(("-load" "/l/mitras/pvs/emacs/go-pvs.el"))
   command-line()
   normal-top-level()

I tried the following also:

./pvs -redhat 5 -q

pvs buffer :
Starting pvs-allegro6.2 -qq ...
dlopen(/toc/l/mitras/pvs/bin/ix86-redhat5/runtime/libacl623.so, mode) 
error: /toc/l/mitras/pvs/bin/ix86-redhat5/runtime/libacl623.so: symbol 
errno, version GLIBC_2.0 not defined in file libc.so.6 with link time 
reference

backtrace :
signaling: (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 "/l/mitras/pvs/emacs/go-pvs.el")
   load-with-code-conversion("/l/mitras/pvs/emacs/go-pvs.el" 
"/l/mitras/pvs/emacs/go-pvs.el" nil t)
   load("/l/mitras/pvs/emacs/go-pvs.el" nil t)
   command-line-1(("-load" "/l/mitras/pvs/emacs/go-pvs.el"))
   command-line()
   normal-top-level()

Seems like a emacs conflict, can someone please help.

Thanks

SM