Idris on Mac OS X

There are several ways obtain Idris for Mac OS X, when not using Cabal.

The first method uses an official pkg file, hosted on the project website.

The second method requires use of the Homebrew package manager. Homebrew provides a package manager and simple installation system for packages and libraries that don't come standard with OS X. Note, the Homebrew formulas are community contributed and not provided by those developing on Idris.

Homebrew offers a source oriented build that will install Idris from source, and will thus pull in compile time dependencies such as Cabal, GHC, and libGMP. Further, to install Idris you will require the installation of Xcode command line tools.

brew update
brew install idris

An alternate approach to obtaining Idris using Homebrew is to install using cask, which extends Homebrew to install binaries. This version will automatically install the latest release of Idris using the official pkg installer.

brew tap caskroom/cask # If you haven't obtain cask.
brew cask install idris

Note: this last method does not work as of August 2017, failing with the error: Error: Cask 'idris' is unavailable: No Cask with this name exists.