This is my machine

Software:

System Software Overview:

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

I'm following this guide to install Idris2.

What I've done thus far is

1. brew install idris validated with idris command
2. brew install chezscheme validated with petite command
3. brew install gmp not validated
4. git clone https://github.com/edwinb/Idris2.git
5. make install in the repo

It took sometime to type check then it began to do something with Chez Scheme until it hit an error. Heres the last few lines of output before the error

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

now when i run idris2 command im getting the following:

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

UPDATE ON RESOLUTION

make sure to add ~/.idris2/bin to your $PATH environment variable

try

brew install coreutils

this issue and its solution is described on git. You can look at it at this link.