diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/build.mk.sample | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index c49fd03559..5b61d16f4b 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -16,6 +16,9 @@ # Fast build with optimised libraries: #BuildFlavour = quick +# Profile the stage2 compiler: +#BuildFlavour = prof + # A development build, working on the stage 1 compiler: #BuildFlavour = devel1 @@ -71,6 +74,27 @@ BUILD_DOCBOOK_PDF = NO endif +# -------- Profile the stage2 compiler --------------------------------------- + +ifeq "$(BuildFlavour)" "prof" + +SRC_HC_OPTS = -H64m -O0 -fasm +GhcStage1HcOpts = -O -fasm +GhcStage2HcOpts = -O -fasm +GhcLibHcOpts = -O -fasm + +GhcLibWays += p +GhcProfiled = YES + +SplitObjs = NO +HADDOCK_DOCS = NO +BUILD_DOCBOOK_HTML = NO +BUILD_DOCBOOK_PS = NO +BUILD_DOCBOOK_PDF = NO + +endif + + # -------- A Development build (stage 1) ------------------------------------- ifeq "$(BuildFlavour)" "devel1" |