Never try to use the system gmp on Windows
authorIan Lynagh <ian@well-typed.com>
Sat, 9 Feb 2013 21:55:20 +0000 (21:55 +0000)
committerIan Lynagh <ian@well-typed.com>
Sat, 9 Feb 2013 21:55:20 +0000 (21:55 +0000)
commitb3bb538f179cc05d9b500f067bbacce49e7635a8
tree0ce9209232ad060f259cbb23afdb838d16f5f584
parent7da7e15780d65dc5881e0d072b59b0bc2a244440
Never try to use the system gmp on Windows

Apparently building on Windows failed when there is a system gmp
available.
configure.ac
gmp/ghc.mk
gmp/ln [changed mode: 0644->0755]