[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] how use Carbon emacs with pvs4 on Mac
Thanks, you gave me a good hint. If instead of
then everything's fine. I don't understand why it's different since
MacOS/Emacs is just a link to MacOS/bin/emacs, but I'd rather hack in PVS
than think about paths and scripts.
On Wed, 7 Feb 2007, Sam Owre wrote:
> Date: Wed, 07 Feb 2007 22:00:10 -0800
> From: Sam Owre <firstname.lastname@example.org>
> To: David Naumann <email@example.com>
> Cc: firstname.lastname@example.org
> Subject: Re: [PVS-Help] how use Carbon emacs with pvs4 on Mac
> Hi Dave,
> I ran into similar problems - I'm not sure I have a real fix, but in my
> case it turned out that the /usr/local/Emacs.app was not the right one.
> I got the same error just by invoking this at the command line without
> involving PVS, which helped me to figure out what was going on.
> I'm using Darwinport (aka Macport) on a MacOSX Intel. I installed
> emacs-devel (which has better vc support for svn), and I set my
> PVSEMACS environment variable to
> It seems to work for me.
> David Naumann <email@example.com> wrote:
>> I used DarwinPorts to install Carbon emacs-22 on an Intel Macbook and
>> emacs/AuCTeX/etc work just fine. I installed the PVS4 pre-built Allegro
>> binary for Mac/Intel. But I can't get it work with emacs.
>> I thought I'd just need to give the path to the emacs executable, as in:
>> ./pvs -emacs /usr/local/Emacs.app/Contents/MacOS/bin/emacs
>> But I get errors about directories that indeed don't exist:
>> Warning: arch-dependent data dir
>> does not exist.
>> Warning: arch-independent data dir
>> (/Applications/Emacs.app/Contents/Resources/share/emacs/22.0.50/etc/) does
>> not exist.
>> emacs: standard input is not a tty
>> I'm a Mac newbie with no time to tinker, so it would be fine with me if
>> someone can suggest an alternate emacs that's easily installed, will work
>> with PVS and AuCTeX, and is integrated enough with Carbon/Aqua to do