projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2e3235c
)
Tidy up gmp cleaning
author
Ian Lynagh
<igloo@earth.li>
Mon, 17 Jan 2011 12:11:55 +0000
(12:11 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Mon, 17 Jan 2011 12:11:55 +0000
(12:11 +0000)
ghc.mk
patch
|
blob
|
history
diff --git
a/ghc.mk
b/ghc.mk
index
d1565e9
..
5040ff5
100644
(file)
--- a/
ghc.mk
+++ b/
ghc.mk
@@
-567,6
+567,8
@@
endif
ifeq "$(INTEGER_LIBRARY)" "integer-gmp"
BUILD_DIRS += libraries/integer-gmp/gmp
ifeq "$(INTEGER_LIBRARY)" "integer-gmp"
BUILD_DIRS += libraries/integer-gmp/gmp
+else ifneq "$(findstring clean,$(MAKECMDGOALS))" ""
+BUILD_DIRS += libraries/integer-gmp/gmp
endif
BUILD_DIRS += \
endif
BUILD_DIRS += \
@@
-1187,17
+1189,6
@@
clean : clean_files clean_libraries
clean_files :
"$(RM)" $(RM_OPTS) $(CLEAN_FILES)
clean_files :
"$(RM)" $(RM_OPTS) $(CLEAN_FILES)
-ifneq "$(NO_CLEAN_GMP)" "YES"
-CLEAN_FILES += libraries/integer-gmp/gmp/gmp.h
-CLEAN_FILES += libraries/integer-gmp/gmp/libgmp.a
-
-clean : clean_gmp
-.PHONY: clean_gmp
-clean_gmp:
- "$(RM)" $(RM_OPTS_REC) libraries/integer-gmp/gmp/objs
- "$(RM)" $(RM_OPTS_REC) libraries/integer-gmp/gmp/gmpbuild
-endif
-
.PHONY: clean_libraries
clean_libraries: $(patsubst %,clean_libraries/%_dist-install,$(PACKAGES) $(PACKAGES_STAGE2))
clean_libraries: $(patsubst %,clean_libraries/%_dist-boot,$(STAGE0_PACKAGES))
.PHONY: clean_libraries
clean_libraries: $(patsubst %,clean_libraries/%_dist-install,$(PACKAGES) $(PACKAGES_STAGE2))
clean_libraries: $(patsubst %,clean_libraries/%_dist-boot,$(STAGE0_PACKAGES))