[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



Thanks for the pointer, Cesar. 

I used TextExpander to avoid typing the whole command everytime, but this is a better solution indeed. :) 

Leopoldo


On Nov 8, 2011, at 5:33 PM, MUNOZ, CESAR (LARC-D320) wrote:

> 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
>