Information about how to install Idris on OSX with FFI support
bvssvni opened this issue · 1 comments
bvssvni commented
https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew
Before you call cabal install idris, you need:
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig
bvssvni commented
cabal install idris -f ffi -f gmp