diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-07-23 09:27:29 -0400 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-07-24 18:53:47 -0400 |
commit | 664caf8a5dd98368bf6399341c799ca656a6417e (patch) | |
tree | 16e614c14a316e7df129f7c281c372adf9cc3412 | |
parent | d0f8ed206479b8ad699d4eae95c063df9376fac4 (diff) | |
download | haskell-664caf8a5dd98368bf6399341c799ca656a6417e.tar.gz |
gitlab-ci: Manually set SPHINXBUILD on Windowswip/windows-sphinx
For some reason configure seems unable to find it on its own. Let's try
giving it a hint.
Addresses #16398.
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eb2ffcf3db..8133e3ee4a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -691,6 +691,7 @@ validate-x86_64-linux-fedora27: variables: FORCE_SYMLINKS: 1 LANG: "en_US.UTF-8" + SPHINXBUILD: "/mingw64/bin/sphinx-build.exe" cache: paths: - cabal-cache |