summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-02-19 11:40:40 -0500
committerBen Gamari <ben@smart-cactus.org>2019-03-01 17:07:28 -0500
commitd298cb9cf722126316c9697c20a8e0048498efb9 (patch)
treec64965c894133c510e6f36aadbaf56fcc4a72b25 /mk
parent161f102b023b3668c9cdc28ace2c1985049841c3 (diff)
downloadhaskell-d298cb9cf722126316c9697c20a8e0048498efb9.tar.gz
gitlab-ci: Produce DWARF-enabled binary distribution
Diffstat (limited to 'mk')
-rw-r--r--mk/flavours/dwarf.mk14
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