Я не могу заставить работать режим 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: команда не найдена
Есть идеи, что происходит?