MacOS does not provide realpath
On MacOS the refinedc
script fails with
$ refinedc theories/examples/tutorial/t1_basic.c
/.../refinedc/scripts/refinedc: line 37: realpath: command not found
This is because MacOS does not come with realpath
by default. It can be installed via
brew install coreutils
This should either be documented or the script should be rewritten to not depend on realpath
.