diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-11-24 12:01:37 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-11-24 12:43:19 +0100 |
| commit | 6a130992b2afab5f2de87c6c8f98328eb925258c (patch) | |
| tree | 119c132f087eeff2fc65d9a10a1f084b1fabf7de /libraries/base/GHC | |
| parent | 41c354593f6b3ef6e039e6416ea933c60e21694e (diff) | |
| download | haskell-6a130992b2afab5f2de87c6c8f98328eb925258c.tar.gz | |
Try to improve Make dependency for `ghc-gmp.h`
This will hopefully workaround an issue where
`libraries/integer-gmp2/include/ghc-gmp.h` gets deleted
during cleanup but isn't regenerated.
This situation is caused by `./validate` cleaning the tree with
$make maintainer-clean NO_CLEAN_GMP=YES
which doesn't doesn't clean the `gmp/` folder, and so the `include/ghc-gmp.h`
file wasn't recreated (as it was previously a side-effect of building
the intree GMP).
Reviewed By: luite
Differential Revision: https://phabricator.haskell.org/D523
Diffstat (limited to 'libraries/base/GHC')
0 files changed, 0 insertions, 0 deletions