Aquamacs中的Agda模式
[英]Agda mode in Aquamacs
问题描述
I can't get agda mode to work on Aquamacs. 
我无法使用agda模式在Aquamacs上工作。 I am running macOS Sierra. 我正在运行macOS Sierra。 Agda version 2.5.4 and Aquamacs 3.3 Agda 2.5.4版和Aquamacs 3.3
Here is what I get when I run the agda-mode commands 这是我运行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
And of course when I open Aquamacs, I get this error: 当然，当我打开Aquamacs时，会出现以下错误：
File error: Cannot open load file, No such file or directory, /bin/bash: agda-mode: command not found
Any idea what's going on? 知道发生了什么吗？
1 个解决方案
解决方案1
0 已采纳 2018-06-09 10:46:16
I solved the problem by adding the following three lines to my .bash_profile 我通过将以下三行添加到我的.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 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
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.