X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc.mk;h=0741b563068c305bfe5bfa803bae4f4d95550cd4;hb=10f0ba21b50896514e5ac885f0e9f0bc7e2c4876;hp=82eb531f2eb9ea1840781f89eb3ff315c1fecf60;hpb=4a5569ff37ae771560e56b564f3b15477b828a79;p=ghc-hetmet.git

diff --git a/ghc.mk b/ghc.mk
index 82eb531..0741b56 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -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))