[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] how use Carbon emacs with pvs4 on Mac
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
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