无法通过Mac OS X M1芯片安装AGDA
我正在按照指令
brew install agda
agda-mode setup
我相信它应该有效，因为我能够编译Hello-World.agda并使用./ Hello-World运行二进制执行。 但是输出显示有错误：
(meta_learning) brandomiranda~ ❯ brew install agda
Warning: No available formula with the name "agda".
==> Searching for similarly named formulae...
Error: No similarly named formulae found.
==> Searching for a previously deleted formula (in the last month)...
Error: No previously deleted formula found.
==> Searching taps on GitHub...
Error: No formulae found in taps.
实际上，自从我上次对Hello World的汇编以来，我不知道发生了什么变化，但确实我无法对其进行编译（因此运行）：
(meta_learning) brandomiranda~/coq4brando/cs598 ❯ agda --compile hello-world.agda
/Users/brandomiranda/.agda/libraries:1: Failed to read library file /usr/local/lib/agda/standard-library.agda-lib.
Reason: /usr/local/lib/agda/standard-library.agda-lib: openFile: does not exist (No such file or directory)
为什么？有人知道如何解决这个问题吗？
I was following the instruction here and it said to do:
brew install agda
agda-mode setup
I believe it should be working since I was able to compile the hello-world.agda and run the binary executable with ./hello-world.
But the output says there are error:
(meta_learning) brandomiranda~ ❯ brew install agda
Warning: No available formula with the name "agda".
==> Searching for similarly named formulae...
Error: No similarly named formulae found.
==> Searching for a previously deleted formula (in the last month)...
Error: No previously deleted formula found.
==> Searching taps on GitHub...
Error: No formulae found in taps.
In fact, I don't know what changed since my last compilation of hello world but indeed I cannot compile it (and thus run it) anymore:
(meta_learning) brandomiranda~/coq4brando/cs598 ❯ agda --compile hello-world.agda
/Users/brandomiranda/.agda/libraries:1: Failed to read library file /usr/local/lib/agda/standard-library.agda-lib.
Reason: /usr/local/lib/agda/standard-library.agda-lib: openFile: does not exist (No such file or directory)
Why? Does someone know how to fix this?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论