summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakenobu Tani <takenobu.hs@gmail.com>2019-04-13 15:54:43 +0900
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-06-02 22:54:43 -0400
commit33e37d0619a9d1d0b8088a109f7eeb4c6fd21027 (patch)
treee74620fd20dae1ff0e88d5d5bc37d88178675860
parent2e297b36169208939528d962724679c5756e9e7c (diff)
downloadhaskell-33e37d0619a9d1d0b8088a109f7eeb4c6fd21027.tar.gz
Add `-haddock` option under ci condition to fix #16415
In order to use the `:doc` command in ghci, it is necessary to compile for core libraries with `-haddock` option. Especially, the `-haddock` option is essential for release building. Note: * The `-haddock` option may affect compile time and binary size. * But hadrian has already set `-haddock` as the default. * This patch affects the make-based building. This patch has been split from !532.
-rwxr-xr-x.circleci/prepare-system.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/.circleci/prepare-system.sh b/.circleci/prepare-system.sh
index 804e0fd890..ab82d4dbba 100755
--- a/.circleci/prepare-system.sh
+++ b/.circleci/prepare-system.sh
@@ -29,6 +29,7 @@ cat <<EOF >> mk/build.mk
BuildFlavour=$BUILD_FLAVOUR
ifneq "\$(BuildFlavour)" ""
include mk/flavours/\$(BuildFlavour).mk
+GhcLibHcOpts+=-haddock
endif
EOF