[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] problem encountered when running PVS 5.0 on Mac air
Instead of
pvs -emacs /Applications/Aquamacs.app/Contents/MacOS/Aquamacs
you can define the environment variables PVS_EMACS so that it points to
Applications/Aquamacs.app/Contents/MacOS/Aquamacs, e.g., in bash:
export PVSEMACS=/Applications/Aquamacs.app/Contents/MacOS/Aquamacs
After this variable has been set, you can just call 'pvs' from the command
line without any options.
Cesar
On 11/8/11 3:24 PM, "Leopoldo Teixeira" <lmt@cin.ufpe.br> wrote:
> 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.
>
> Leopoldo
>
> On Nov 8, 2011, at 10:28 AM, chunqing chen wrote:
>
>> Hi, All,
>>
>> 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
>> 22.1.1.
>>
>> Thank you for your time and look forward to your reply.
>>
>> Best Regards
>> Chunqing
>>
>
>
--
Cesar A. Munoz NASA Langley Research Center
Cesar.A.Munoz@nasa.gov Bldg. 1220 Room 115 MS. 130
http://shemesh.larc.nasa.gov/people/cam Hampton, VA 23681-2199, USA
Office: +1 (757) 864 1446 Fax: +1 (757) 864 4234