diff options
| -rw-r--r-- | mk/build.mk.sample | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index c87d6f4eec..fd20e6977a 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -74,6 +74,10 @@ GhcLibWays = $(if $(filter $(DYNAMIC_GHC_PROGRAMS),YES),v dyn,v) # Only use -fasm by default on platforms that support it. GhcFAsm = $(if $(filter $(GhcWithNativeCodeGen),YES),-fasm,) +# Uncomment the following to force `integer-gmp` to use the in-tree GMP 5.0.4 +# (other sometimes useful configure-options: `--with-gmp-{includes,libraries}`) +#libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp + # ----------- A Performance/Distribution build -------------------------------- ifeq "$(BuildFlavour)" "perf" |