【问题标题】：realpath error with Chez Scheme when Installing Idris2安装 Idris2 时 Chez Scheme 的 realpath 错误
【发布时间】：2020-08-17 17:32:00
【问题描述】：

这是我的机器

Software:

System Software Overview:

  System Version: macOS 10.14.6 (18G103)
  Kernel Version: Darwin 18.7.0

我正在关注this guide 安装 Idris2。

到目前为止我所做的是

brew install idris 使用 idris 命令验证
brew install chezscheme 使用 petite 命令验证
brew install gmp 未验证
git clone https://github.com/edwinb/Idris2.git
回购中的make install

输入检查花了一些时间，然后它开始使用 Chez Scheme 做一些事情，直到遇到错误。这是错误前的最后几行输出

Found Chez Scheme at /usr/local/bin/chez
chez/chez001: success
chez/chez002: success
chez/chez003: success
chez/chez004: success
chez/chez005: success
chez/chez006: success
chez/chez007: success
chez/chez008: success
chez/chez009: success
chez/chez010: success
chez/chez011: success
chez/chez012: success
chez/chez013: success
chez/chez014: success
chez/chez015: success
./run: line 2: realpath: command not found
./run: line 6: : command not found
chez/chez016: FAILURE
Golden value differs from actual value.
Accept actual value as new golden value? [yn]
y
chez/reg001: success
218/219 tests successful
make[1]: *** [test] Error 1
make: *** [test] Error 2

现在当我运行idris2 命令时，我得到以下信息：

$ idris2
zsh: permission denied: idris2
$ sudo idris2
Password:
sudo: idris2: command not found

分辨率更新

确保将~/.idris2/bin 添加到您的$PATH 环境变量中

【问题讨论】：

标签： macos idris chez-scheme

【解决方案1】：

在我的情况下，将 idris2 添加到 PATH 并没有成功。但是，我在这里找到了部分解决方案：https://gitmemory.com/andorp

添加 IDRIS_CG=racket 而不是 IDRIS2_CG=racket 没有帮助。还有一样的

idris2 --build idris2.ipkg make: idris2: Command not found error.

如果我手动粗暴地更改 Makefile：

-导出 IDRIS2_BOOT ?= idris2 +export IDRIS2_BOOT ?= ~/.idris2/bin/idris2 +export IDRIS2_CG = 球拍让所有人和朋友开始工作

不幸的是，我稍后又被卡住了......但是，它确实允许我执行“make install-api”命令。

【讨论】：

如果您正在构建没有现有的idris2 可执行文件，您应该执行make bootstrap-racket && make install 而不是执行make all。

【解决方案2】：

我可以从.idris2/bin 运行 idris2 如果您即使尝试./idris2 也无法运行它，请尝试chmod +x idris2 并再次运行。

【讨论】：

我删除了 .idris2 和 repo，克隆了一个新的 make install ，仍然失败。将 idris2 添加到我的路径中，然后它就起作用了。不知道为什么，但嘿它的工作。感谢您调查我的问题。
您确定这应该是一个单独的答案，而不是您第一个答案的补充吗？就其本身而言，它不会回答这个问题：你需要两者，不是吗？

【解决方案3】：

试试

brew install coreutils

此问题及其解决方案在 git 上进行了描述。你可以看this link。

【讨论】：

谢谢！我认为它能够编译。我可以看到一个文件~/.idris2/bin/idris2 但是我似乎无法将它作为命令运行，任何想法为什么？运行$ idris2 仍然给出权限被拒绝并且找不到命令。
您能否发布您的make test 日志，可能缺少某些内容。
heres the logs 以前的 chez016 失败了，我刚刚输入了 y 以获取黄金值提示。然后make install工作后。
看看我的下一个答案希望能帮助你运行 Idris2