diff options
-rw-r--r-- | libraries/integer-gmp/gmp/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/integer-gmp/gmp/ghc.mk b/libraries/integer-gmp/gmp/ghc.mk index 5c34691207..c5c771cbab 100644 --- a/libraries/integer-gmp/gmp/ghc.mk +++ b/libraries/integer-gmp/gmp/ghc.mk @@ -59,7 +59,7 @@ ifneq "$(CLEANING)" "YES" endif gmp_CC_OPTS += $(addprefix -I,$(GMP_INCLUDE_DIRS)) -gmp_CC_OPTS += $(addprefix -L,$(GMP_LIB_DIRS)) +gmp_LD_OPTS += $(addprefix -L,$(GMP_LIB_DIRS)) # Compile GMP only if we don't have it already # |