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

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

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