I had to run with --with-gmp=/usr/local
authorEdward Kmett <ekmett@gmail.com>
Wed, 9 Apr 2014 02:58:03 +0000 (22:58 -0400)
committerEdward Kmett <ekmett@gmail.com>
Wed, 9 Apr 2014 02:58:03 +0000 (22:58 -0400)
commit08c167a61ebcca23781e6b2dd199e5d6e7c5dde6
treeade62ebff3486d2d6c892bcca217f36ecb9eec52
parent6873c457f7ae8126050a8601ce834df16d248eb4
I had to run with --with-gmp=/usr/local
Setup.hs