diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-04-22 22:23:56 +0200 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-04-22 22:25:33 +0200 |
commit | 0a0115fe17b22d1252220fe1ed0ba1dcc2839546 (patch) | |
tree | b2eaec07e7604ff8c261ce637d3a7c825da096ea /ghc.mk | |
parent | 33e585d6eacae19e83862a05b650373b536095fa (diff) | |
download | haskell-0a0115fe17b22d1252220fe1ed0ba1dcc2839546.tar.gz |
Be more aggressive in `make clean`
This quiets down the utils/testremove/checkremove step
Basically the idea is to have 'make clean' remove everything that was
generated by `make`, while `make distclean` ought to remove everything
created by `./configure`.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'ghc.mk')
-rw-r--r-- | ghc.mk | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1202,6 +1202,11 @@ sdist_%: CLEAN_FILES += libraries/bootstrapping.conf CLEAN_FILES += libraries/integer-gmp/cbits/GmpDerivedConstants.h +CLEAN_FILES += libraries/integer-gmp/include/HsIntegerGmp.h +CLEAN_FILES += libraries/base/include/EventConfig.h +CLEAN_FILES += mk/config.mk.old +CLEAN_FILES += mk/project.mk.old +CLEAN_FILES += compiler/ghc.cabal.old # These are no longer generated, but we still clean them for a while # as they may still be in old GHC trees: @@ -1219,6 +1224,9 @@ clean : clean_files clean_libraries .PHONY: clean_files clean_files : $(call removeFiles,$(CLEAN_FILES)) +# this is here since CLEAN_FILES can't handle folders + $(call removeTrees,includes/dist-derivedconstants) + $(call removeTrees,inplace) .PHONY: clean_libraries clean_libraries: $(patsubst %,clean_libraries/%_dist-install,$(PACKAGES_STAGE1) $(PACKAGES_STAGE2)) |