diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-01-01 17:01:00 +0000 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-01-01 17:03:29 +0000 |
| commit | 0921387ce97934bb4692a168bb8ce009e4a9871b (patch) | |
| tree | aea43ee132a7f1343b9c1a88fef33ef93b7809c7 /libraries/integer-gmp/gmp | |
| parent | d369ae5d66bb4d3125ba95db830b278e4e253b08 (diff) | |
| download | haskell-0921387ce97934bb4692a168bb8ce009e4a9871b.tar.gz | |
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.
Diffstat (limited to 'libraries/integer-gmp/gmp')
| -rw-r--r-- | libraries/integer-gmp/gmp/ghc.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries/integer-gmp/gmp/ghc.mk b/libraries/integer-gmp/gmp/ghc.mk index 8c60e6f091..b39f36afdf 100644 --- a/libraries/integer-gmp/gmp/ghc.mk +++ b/libraries/integer-gmp/gmp/ghc.mk @@ -39,6 +39,10 @@ ifeq "$(findstring clean,$(MAKECMDGOALS))" "" include libraries/integer-gmp/gmp/config.mk endif +ifeq "$(GMP_PREFER_FRAMEWORK)" "YES" +libraries/integer-gmp_CC_OPTS += --with-gmp-framework-preferred +endif + libraries/integer-gmp_CC_OPTS += $(addprefix -I,$(GMP_INCLUDE_DIRS)) libraries/integer-gmp_CC_OPTS += $(addprefix -L,$(GMP_LIB_DIRS)) |