use --docs=no-sphinx in both Hadrian CI jobs
authorAlp Mestanogullari <alpmestan@gmail.com>
Wed, 27 Feb 2019 16:41:10 +0000 (17:41 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 1 Mar 2019 21:38:15 +0000 (16:38 -0500)
.gitlab-ci.yml

index 217b297..3bca1fe 100644 (file)
@@ -61,7 +61,7 @@ ghc-linters:
     - ./boot
     - ./configure $CONFIGURE_ARGS
     - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh`
-    - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` docs-haddock
+    - hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --docs=no-sphinx docs
   cache:
     key: hadrian
     paths:
@@ -386,6 +386,7 @@ validate-x86_64-windows-hadrian:
       mkdir -p _build
       cp -R inplace/mingw _build/mingw
     - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick"
+    - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --docs=no-sphinx docs
     # FIXME: Bindist disabled due to #16073
     #- bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh binary-dist"
     # FIXME: Testsuite disabled due to #16156.