1 # -----------------------------------------------------------------------------
4 # Uncomment one of the following BuildFlavour settings to get the desired
5 # overall build type, and then tweak the options in the relevant section
8 # Uncomment one of these to select a build profile below:
10 # Full build with max optimisation (slow build)
13 # Fastest build (libs unoptimised):
14 #BuildFlavour = quickest
16 # Fast build with optimised libraries:
19 # A development build, working on the stage 1 compiler:
20 #BuildFlavour = devel1
22 # A development build, working on the stage 2 compiler:
23 #BuildFlavour = devel2
25 # Which warnings we like to use
26 MyWarningOpts = -W -fno-warn-unused-matches -fwarn-unused-imports
28 # -------- 1. A Performance/Distribution build--------------------------------
30 ifeq "$(BuildFlavour)" "perf"
32 SRC_HC_OPTS = -H32m -O2
33 GhcHcOpts = -Rghc-timing
39 # -------- A Fast build ------------------------------------------------------
41 ifeq "$(BuildFlavour)" "quickest"
43 SRC_HC_OPTS = -H64m -Onot -fasm
44 GhcStage1HcOpts = -O -fasm
45 GhcStage2HcOpts = -Onot -fasm
46 GhcLibHcOpts = -Onot -fasm
52 # -------- A Fast build with optimised libs ----------------------------------
54 ifeq "$(BuildFlavour)" "quick"
56 SRC_HC_OPTS = -H64m -Onot -fasm
57 GhcStage1HcOpts = -O -fasm
58 GhcStage2HcOpts = -Onot -fasm
59 GhcLibHcOpts = -O -fasm
65 # -------- A Development build (stage 1) -------------------------------------
67 ifeq "$(BuildFlavour)" "devel1"
69 SRC_HC_OPTS = -H64m -O -fasm $(MyWarningOpts)
70 GhcLibHcOpts = -O -dcore-lint $(MyWarningOpts)
72 GhcStage1HcOpts = -Rghc-timing -O0 -DDEBUG
73 GhcStage2HcOpts = -Rghc-timing O -fasm
78 # -------- A Development build (stage 2) -------------------------------------
80 ifeq "$(BuildFlavour)" "devel2"
82 SRC_HC_OPTS = -H64m -O -fasm $(MyWarningOpts)
83 GhcLibHcOpts = -O -dcore-lint $(MyWarningOpts)
85 GhcStage1HcOpts = -Rghc-timing -O -fasm
86 GhcStage2HcOpts = -Rghc-timing -O0 -DDEBUG
91 # -----------------------------------------------------------------------------
92 # Other settings that might be useful
95 #GhcRtsCcOpts = -pg -g
97 # Optimised/profiled RTS
98 #GhcRtsCcOpts = -O2 -pg
100 #GhcRtsWithFrontPanel = YES
101 #SRC_HC_OPTS += `gtk-config --libs`