diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-05-26 14:49:47 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-05-30 16:48:07 +0200 |
commit | 5ead7d182cea63865379f51f42477e735277f97d (patch) | |
tree | 50c338f7db78c2f96bd1372239e9ee545c268e8f /Makefile | |
parent | a138fa1aa9fe2b6499d023ebff4e0fd2f0f1cac8 (diff) | |
download | haskell-5ead7d182cea63865379f51f42477e735277f97d.tar.gz |
Build system: make more targets PHONY
[skip ci]
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -79,9 +79,11 @@ endif @echo "===--- building final phase" $(MAKE) -r --no-print-directory -f ghc.mk phase=final $@ +.PHONY: binary-dist binary-dist: binary-dist-prep mv bindistprep/*.tar.$(TAR_COMP_EXT) . +.PHONY: binary-dist-prep binary-dist-prep: ifeq "$(mingw32_TARGET_OS)" "1" $(MAKE) -r --no-print-directory -f ghc.mk windows-binary-dist-prep @@ -91,17 +93,21 @@ else $(MAKE) -r --no-print-directory -f ghc.mk unix-binary-dist-prep endif +.PHONY: clean distclean maintainer-clean clean distclean maintainer-clean: $(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES test ! -d testsuite || $(MAKE) -C testsuite $@ +.PHONY: $(filter clean_%,$(MAKECMDGOALS)) $(filter clean_%, $(MAKECMDGOALS)) : clean_% : $(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES +.PHONY: bootstrapping-files show echo bootstrapping-files show echo: $(MAKE) -r --no-print-directory -f ghc.mk $@ ifeq "$(darwin_TARGET_OS)" "1" +.PHONY: framework-pkg framework-pkg: $(MAKE) -C distrib/MacOS $@ endif |