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

Re: PVS obn redhat linux 5




Paul ---

>
> Yes emacs on its own does start fine. Version is:
>      GNU Emacs 20.2.1 (i386-redhat-linux, X toolkit)
>

Your problem is probably due to using Emacs version 20. Support
for emacs20 is in the latest patches at

  http://www.csl.sri.com/pvs2.1/linux/pvs-linux-patches.tgz

Just cd to the directory where PVS was installed, run 'chmod -R u+w *',
untar the patch file, and invoke 'bin/relocate' and you should be in
business.

Let me know how you get on with this.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com