[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



Dear Leopoldo, Cesar, and Sam,

Thank you all for the prompt help.

I installed the Aquamacs and set the PVSEMACS path accordingly, and
YES, it works :)

Best Regards
Chunqing

On Wed, Nov 9, 2011 at 4:54 AM, Leopoldo Teixeira <lmt@cin.ufpe.br> wrote:
> 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
>>
>
>