diff options
| author | Ian Lynagh <igloo@earth.li> | 2009-08-02 19:57:59 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2009-08-02 19:57:59 +0000 |
| commit | 430cdb1310a82a7112c00a5f5af2f503d27f0684 (patch) | |
| tree | db502d8a832764060e8d41eb05ce3733e7f9ef18 | |
| parent | 4a5569ff37ae771560e56b564f3b15477b828a79 (diff) | |
| download | haskell-430cdb1310a82a7112c00a5f5af2f503d27f0684.tar.gz | |
Clean GMP properly; fixes #3411
| -rw-r--r-- | ghc.mk | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -956,13 +956,21 @@ CLEAN_FILES += utils/ghc-pwd/ghc-pwd.exe CLEAN_FILES += utils/ghc-pwd/ghc-pwd.hi CLEAN_FILES += utils/ghc-pwd/ghc-pwd.o CLEAN_FILES += libraries/bootstrapping.conf +CLEAN_FILES += libraries/integer-gmp/gmp/gmp.h +CLEAN_FILES += libraries/integer-gmp/gmp/libgmp.a +CLEAN_FILES += libraries/integer-gmp/cbits/GmpDerivedConstants.h +CLEAN_FILES += libraries/integer-gmp/cbits/mkGmpDerivedConstants -clean : clean_files clean_libraries +clean : clean_files clean_libraries clean_gmp .PHONY: clean_files clean_files : "$(RM)" $(RM_OPTS) $(CLEAN_FILES) +clean_gmp: + "$(RM)" $(RM_OPTS) -r libraries/integer-gmp/gmp/objs + "$(RM)" $(RM_OPTS) -r libraries/integer-gmp/gmp/gmpbuild + .PHONY: clean_libraries clean_libraries: $(patsubst %,clean_libraries/%_dist-install,$(PACKAGES) $(PACKAGES_STAGE2)) clean_libraries: $(patsubst %,clean_libraries/%_dist-boot,$(BOOT_PKGS)) |