projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
don't clean GMP before validating (it rarely changes, and is slow to build)
[ghc-hetmet.git]
/
gmp
/
ghc.mk
diff --git
a/gmp/ghc.mk
b/gmp/ghc.mk
index
42c6c16
..
7dc168f
100644
(file)
--- a/
gmp/ghc.mk
+++ b/
gmp/ghc.mk
@@
-95,8
+95,10
@@
gmp/libgmp.a:
$(CP) gmp/gmpbuild/.libs/libgmp.a gmp/
$(RANLIB) gmp/libgmp.a
+ifneq "$(NO_CLEAN_GMP)" "YES"
$(eval $(call clean-target,gmp,,\
gmp/libgmp.a gmp/gmpbuild gmp/$(GMP_DIR)))
+endif
# XXX TODO:
#stamp.gmp.shared: