diff options
-rwxr-xr-x | .gitlab/ci.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index ff612f663e..1c56994146 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -350,7 +350,8 @@ function build_make() { fi echo "include mk/flavours/${BUILD_FLAVOUR}.mk" > mk/build.mk - echo 'GhcLibHcOpts+=-haddock' >> mk/build.mk + echo 'GhcLibHcOpts += -haddock' >> mk/build.mk + echo 'WERROR += -Werror' >> mk/build.mk run "$MAKE" -j"$cores" $MAKE_ARGS run "$MAKE" -j"$cores" binary-dist-prep TAR_COMP_OPTS=-1 ls -lh "$BIN_DIST_PREP_TAR_COMP" @@ -378,6 +379,9 @@ function build_hadrian() { fail "FLAVOUR not set" fi + mkdir -p _build + echo "stage1.*.ghc.hs.opts += -Werror" > _build/hadrian.settings + run_hadrian binary-dist mv _build/bindist/ghc*.tar.xz ghc.tar.xz |