I was made aware that the command realpath is not available on macOS by default. To avoid relying on realpath I changed the test to use dirname/basename instead.
The test runner runs the test using a relative path, i.e.: ./run ../../../idris2
It is also possible to run the test using an absolute path: ./run ~/.idris2/bin/idris2
I was made aware that the command
realpathis not available on macOS by default. To avoid relying onrealpathI changed the test to usedirname/basenameinstead.The test runner runs the test using a relative path, i.e.:
./run ../../../idris2It is also possible to run the test using an absolute path:./run ~/.idris2/bin/idris2