Provide a way for OS X users to indicate a preference for the GMP framework
authorIan Lynagh <ian@well-typed.com>
Tue, 1 Jan 2013 17:01:00 +0000 (17:01 +0000)
committerIan Lynagh <ian@well-typed.com>
Tue, 1 Jan 2013 17:03:29 +0000 (17:03 +0000)
commit2cf2423a0c0c1e6495812467deee4df0cb4320fa
treed9f922e5a5cfdc46a7afc708373206f73e67e05b
parentf6e76d0cef900713a1b5be49c55004f39627de91
Provide a way for OS X users to indicate a preference for the GMP framework

We used to always use the framework if it existed. Now the make variable
GMP_PREFER_FRAMEWORK can be used to control whether the library or the
framework is preferred.

Fixes #7466.
aclocal.m4 [new file with mode: 0644]
configure.ac
gmp/ghc.mk