[PVS-Help] problem of install PVS---help

[guo jian <chenguoma@xxxxxxxxxxxx>]

Dear Sir,

  I want to install PVS in redhat 6.0, but there is a problem during installation. I run bin/relocate is OK and change the path,then run ./pvs, it give me an error massage "./pvs:line372:emacs: command not found" in PVS4.2 and "./pvs:line336:emacs:command not found" in PVS4.0.I don't know why and how to modify it.

best wishes!

Jian Guo

---

  好玩贺卡等你发，邮箱贺卡全新上线！