ошибка реального пути с Chez Scheme при установке Idris2

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 в репо

Потребовалось некоторое время для проверки типа, затем он начал что-то делать с 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

я могу запустить idris2 с .idris2/bin, если вы не можете запустить его, даже пытаясь ./idris2 попробуйте chmod +x idris2 и запустите снова.

Answer 2

try

brew install coreutils

Эта проблема и ее решение описаны в git. Вы можете посмотреть на эту ссылку .