Я пытался установить PolyML в Emacs на моем Mac в OSX, но я не могу заставить его или SML-режим работать. Я пробовал встроенный Emacs, версию графического интерфейса и ту, которая была из homebrew. Ни poly, ни sml не работают ни в одном из них.
Как я могу начать все заново со встроенного Emacs с настройками по умолчанию, не переустанавливая всю ОС? Я не хочу ничего от других версий, оставленных.
Я удалил Emacs, установленный через homebrew, просто используя $ brew remove emacs . Версия с графическим интерфейсом была удалена простым перетаскиванием в корзину.
Затем я наконец исправил PolyML, еще раз установив emacs через Homebrew с помощью $ brew install emacs —cocoa
Тогда в .bashrc я добавил
alias emacs=”/usr/local/Cellar/emacs/24.3/Emacs.app/Contents/MacOS/Emacs -nw"
Это указывает на правильную версию команды emacs. Я снова скачал PolyML, и он отлично работал как в терминале, так и внутри emacs.