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:
2e0498a
)
allow phases to be omitted by setting OMIT_PHASE_[123]=YES
author
Simon Marlow
<marlowsd@gmail.com>
Tue, 19 May 2009 08:33:50 +0000
(08:33 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Tue, 19 May 2009 08:33:50 +0000
(08:33 +0000)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
f15677d
..
a80dcee
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-56,12
+56,18
@@
REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean
$(REALGOALS) all: $(PACKAGE_MK)
@echo "===--- updating makefiles phase 0"
$(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
$(REALGOALS) all: $(PACKAGE_MK)
@echo "===--- updating makefiles phase 0"
$(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
+ifneq "$(OMIT_PHASE_1)" "YES"
@echo "===--- updating makefiles phase 1"
$(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles
@echo "===--- updating makefiles phase 1"
$(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_2)" "YES"
@echo "===--- updating makefiles phase 2"
$(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles
@echo "===--- updating makefiles phase 2"
$(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_3)" "YES"
@echo "===--- updating makefiles phase 3"
$(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles
@echo "===--- updating makefiles phase 3"
$(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles
+endif
@echo "===--- finished updating makefiles"
$(MAKE) -r --no-print-directory -f ghc.mk $@
@echo "===--- finished updating makefiles"
$(MAKE) -r --no-print-directory -f ghc.mk $@