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)
commit0921387ce97934bb4692a168bb8ce009e4a9871b
treeaea43ee132a7f1343b9c1a88fef33ef93b7809c7
parentd369ae5d66bb4d3125ba95db830b278e4e253b08
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.
libraries/integer-gmp/aclocal.m4 [new file with mode: 0644]
libraries/integer-gmp/configure.ac
libraries/integer-gmp/gmp/ghc.mk