安装 Idris2 时 Chez Scheme 的真实路径错误

Question

这是我的机器

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 在 repo

输入检查花了一些时间，然后它开始使用 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 环境变量

Answer 1

尝试

brew install coreutils

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

查看

Answer 2

我可以运行来自 .idris2/bin 的 idris2 如果你不能运行它甚至尝试 ./idris2 再试一次 chmod +x idris2 和运行。

Answer 3

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

Adding IDRIS_CG=racket not IDRIS2_CG=racket did not help. Still got the same

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

If I crudely change the Makefile by hand:

-export IDRIS2_BOOT ?= idris2 +export IDRIS2_BOOT ?= ~/.idris2/bin/idris2 +export IDRIS2_CG = racket The make all and friends starts to working

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

安装 Idris2 时 Chez Scheme 的真实路径错误

realpath error with Chez Scheme when Installing Idris2

macos

idris

chez-scheme

决议更新