Агда режим в аквамаке - PullRequest
0 голосов
/ 08 июня 2018

Я не могу заставить работать режим agda на Aquamacs.Я использую macOS Sierra.Agda версии 2.5.4 и Aquamacs 3.3

Вот что я получаю, когда запускаю команды agda-mode

agda-mode setup
It seems as if setup has already been performed.


agda-mode locate 
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2.el

agda-mode compile 
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Unable to compile the following Emacs Lisp files:
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2-abbrevs.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/annotation.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2-queue.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/eri.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda-input.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2-highlight.el
/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2-mode.el

И, конечно, когда я открываю Aquamacs, я получаю эту ошибку:

Ошибка файла: невозможно открыть загрузочный файл, нет такого файла или каталога, / bin / bash: agda-mode: команда не найдена

Есть идеи, что происходит?

1 Ответ

0 голосов
/ 09 июня 2018

Я решил проблему, добавив следующие три строки в мой .bash_profile

export PATH=/usr/local/bin/agda-mode:$PATH export PATH=/usr/local/Cellar/agda/2.5.4/bin/agda-mode:$PATH export PATH=/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/:$PATH

...