diff options
Diffstat (limited to 'mk/flavours/dwarf.mk')
| -rw-r--r-- | mk/flavours/dwarf.mk | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/mk/flavours/dwarf.mk b/mk/flavours/dwarf.mk new file mode 100644 index 0000000000..15f16e2c37 --- /dev/null +++ b/mk/flavours/dwarf.mk @@ -0,0 +1,14 @@ +# Build flavour which produces a compiler, RTS, and core libraries with DWARF +# debug information. For best results run ./configure with +# --enable-dwarf-unwind. + +SRC_HC_OPTS = -O -H64m +GhcStage1HcOpts = -O2 +GhcStage2HcOpts = -O2 -g3 +GhcRtsHcOpts = -O2 -g3 +GhcLibHcOpts = -O2 -g3 +BUILD_PROF_LIBS = YES +#SplitObjs +#HADDOCK_DOCS +#BUILD_SPHINX_HTML +#BUILD_SPHINX_PDF |