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

Re: PVS installation with redhat Linux 9



This is bug # 765, and a workaround was provided in the bug report.  The
fix is to run

  LD_ASSUME_KERNEL=2.4.1 LANG=C pvs -redhat 5

The full bug report is at
  http://pvs.csl.sri.com/cgi-bin/pvs/pvs-bug?id=765

Note: I don't yet have a machine with redhat linux 9 on it, so I haven't
tried this myself.  

Regards,
Sam

> 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