diff options
Diffstat (limited to 'mk/flavours/dwarf.mk')
| -rw-r--r-- | mk/flavours/dwarf.mk | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/mk/flavours/dwarf.mk b/mk/flavours/dwarf.mk deleted file mode 100644 index 15f16e2c37..0000000000 --- a/mk/flavours/dwarf.mk +++ /dev/null @@ -1,14 +0,0 @@ -# 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 |