diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-03-05 21:13:28 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-03-05 21:30:45 +0100 |
| commit | df7ac37d43bdbabbde9b09344f9425e8e5a879ff (patch) | |
| tree | 34560b53c81169089eaefc30912bda9c8e828bd5 | |
| parent | 1c062b794bf71a329f65813ce7b72fe2bd3935f0 (diff) | |
| download | haskell-df7ac37d43bdbabbde9b09344f9425e8e5a879ff.tar.gz | |
Fixup include of gmp/config.mk to use new location
This wasn't spotted rightaway in
8f0b2f5eadf0fcb47c581907205a9db686214a69
because the include-site deliberately ignored include-errors as
a Hack with the justification below:
> Hack. The file gmp/config.mk doesn't exist yet after running ./configure in
> the toplevel (ghc) directory. To let some toplevel make commands such as
> sdist go through, right after ./configure, don't consider this an error.
This may have contributed to #14891.
| -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 794942c724..556a271f90 100644 --- a/libraries/integer-gmp/gmp/ghc.mk +++ b/libraries/integer-gmp/gmp/ghc.mk @@ -56,7 +56,7 @@ ifneq "$(CLEANING)" "YES" # Hack. The file gmp/config.mk doesn't exist yet after running ./configure in # the toplevel (ghc) directory. To let some toplevel make commands such as # sdist go through, right after ./configure, don't consider this an error. --include libraries/integer-gmp/gmp/config.mk +-include libraries/integer-gmp/dist-install/build/gmp/config.mk endif gmp_CC_OPTS += $(addprefix -I,$(GMP_INCLUDE_DIRS)) |