gcc-4.8 な感じで Agda を入れる

brew で haskell-platform を入れて、その cabal 経由で Agda を入れてたんですが、いつかの update で apple-gcc42 が formula から消えてしまった様子。

ghc は apple-gcc42 に依存してたみたいだけれど、いつの間にか依存が

mpfr libmpc isl cloog gcc

になってる。

なので apple-gcc42 を消して gcc とかを入れる。

ghcを入れて、 haskell-platform を入れようとすると怒られる。
解決法は

https://github.com/Homebrew/homebrew/issues/28654

らしい。

ってなわけで

$ brew install ghc
$ brew install haskell-platform --cc=/usr/local/bin/gcc-4.8

とかで haskell-platform が入りました。


あとは PATH に $HOME/.cabal を追加して

$ cabal update
$ cabal install cabal-install
$ cabal install agda

とかすれば素直に Agda まで入りました。