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:
e1a10e8
)
don't clean GMP before validating (it rarely changes, and is slow to build)
author
Simon Marlow
<marlowsd@gmail.com>
Thu, 21 May 2009 07:48:40 +0000
(07:48 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Thu, 21 May 2009 07:48:40 +0000
(07:48 +0000)
gmp/ghc.mk
patch
|
blob
|
history
validate
patch
|
blob
|
history
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:
diff --git
a/validate
b/validate
index
889daae
..
8c3c219
100644
(file)
--- a/
validate
+++ b/
validate
@@
-55,7
+55,7
@@
if [ $testsuite_only -eq 0 ]; then
if [ $no_clean -eq 0 ]; then
if [ -f mk/config.mk ]; then
- make maintainer-clean
+ make maintainer-clean NO_CLEAN_GMP=YES
fi
INSTDIR=`pwd`/inst