環境: CentOS 7.3 ld -lgmp が見つからないと言って stack setup がコケるので諦めた。 正確には GHC はインストールできているのだけど、そのあと GHC を使ってビルドするものたちのコンパイル、もっと正確に言えばリンクにコケる。 gmp を $HOME/local に…