prerequisites_macOS.md

Installing prerequisites on macOS

We assume that you are using a fresh macOS installation.

Install Homebrew package manager

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

Install major dependencies via Homebrew

brew install idris cabal-install git ghc python wget

Install MacTeX via Homebrew

brew cask install mactex

Install pandoc and pandoc-types via cabal

cabal update
cabal install pandoc pandoc-types
export PATH=$HOME/.cabal/bin:$PATH

You might want to add cabal to your PATH permanently.

Install pygments

pip install --user Pygments

Install Iosevka font

Download the Iosevka font and put the ttf-files into /Library/Fonts directory. Reboot to let macOS find the font.