|Hi Chunqing, |
I use PVS on my mac air too. However, instead of the pre-installed emacs, I use Aquamacs (http://aquamacs.org/
). Therefore, I am able to run it using the following command:
"./pvs -emacs /Applications/Aquamacs.app/Contents/MacOS/Aquamacs"
I believe this should work for you.
On Nov 8, 2011, at 10:28 AM, chunqing chen wrote:
I installed PVS 5.0 on my mac air (file named MacOSX Intel 64bit from
the PVS website). However, when I try to execute the command "./pvs",
i received the following error message: emacs: standard input is not a
tty. I searched the email archive from the PVS website, although no
information was found.
Could you kindly enlighten me how to solve the problem? Do I need to
install another emacs?
For your information, I am using the emacs pre-installed with the OSX
(version 10.6.8). The information of the emacs version is: GNU Emacs
Thank you for your time and look forward to your reply.