Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Tobias Decking
GHC
Commits
3427b15a
Commit
3427b15a
authored
Sep 09, 2009
by
Simon Marlow
Browse files
NO_CLEAN_GMP fixes
parent
9a9803e8
Changes
1
Hide whitespace changes
Inline
Side-by-side
ghc.mk
View file @
3427b15a
...
...
@@ -807,6 +807,10 @@ install_packages: libffi/package.conf.install rts/package.conf.install
# -----------------------------------------------------------------------------
# Binary distributions
ifneq
"$(CLEANING)" "YES"
# This rule seems to hold some files open on Windows which prevents
# cleaning, perhaps due to the $(wildcard).
$(eval
$(call
bindist,.,\
LICENSE
\
configure
config.sub
config.guess
install-sh
\
...
...
@@ -839,6 +843,7 @@ $(eval $(call bindist,.,\
bindist.mk
\
libraries/dph/LICENSE
\
))
endif
# mk/project.mk gets an absolute path, so we manually include it in
# the bindist with a relative path
...
...
@@ -990,20 +995,25 @@ 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_gmp
clean
:
clean_files clean_libraries
.PHONY
:
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)
-r
libraries/integer-gmp/gmp/objs
"
$(RM)
"
$(RM_OPTS)
-r
libraries/integer-gmp/gmp/gmpbuild
endif
.PHONY
:
clean_libraries
clean_libraries
:
$(patsubst %
,
clean_libraries/%_dist-install
,
$(PACKAGES) $(PACKAGES_STAGE2))
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment