安装Idris2时Chez方案的实时路径错误

Question

这是我的机器

Software:

System Software Overview:

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

我正在跟踪本指南安装Idris2。

到目前为止我所做的是

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

输入check花了一些时间，然后它开始使用Chez做一些事情，直到它碰到了一个错误。以下是错误发生前的最后几行输出

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命令im时，我得到以下信息：

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

决议的最新情况

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

Answer 1

试一试

brew install coreutils

在git上描述了这个问题及其解决方案。你可以在此链接看它。

Answer 2

在我的例子中，将idris2添加到路径中是行不通的。但是，我在这里找到了一个部分解决方案：https://gitmemory.com/andorp

添加IDRIS_CG=racket而不是IDRIS2_CG=racket没有帮助。还是一样的 idris2 --构建idris2.ipkg : idris2: idris2:命令未找到错误。 如果我用手粗略地更改Makefile： -export IDRIS2_BOOT ?= idris2 + IDRIS2_BOOT ?= ~/.idris2/bin/idris2 +exportIDRIS2_CG=球拍所有的朋友和朋友开始工作

很不幸，我后来又被困住了.但是，它确实允许我执行“”命令。

Answer 3

如果您不能运行idris2，甚至尝试./idris2，尝试chmod +x idris2并再次运行，我可以从.idris2/bin运行它。

​