[GHC] #15218: HEAD doesn't build without sphinx-build
GHC
ghc-devs at haskell.org
Wed Jun 6 15:04:51 UTC 2018
#15218: HEAD doesn't build without sphinx-build
-------------------------------------+-------------------------------------
Reporter: jrp | Owner: (none)
Type: bug | Status: new
Priority: low | Milestone: 8.6.1
Component: Build System | Version: 8.4.3
Resolution: | Keywords:
Operating System: Linux | Architecture: x86_64
Type of failure: Building GHC | (amd64)
failed | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by bgamari):
I'm not sure I agree that `validate` should pass if sphinx-build is
missing. `Validate` is intended to serve as a comprehensive check of the
tree; this includes checking that the documentation is buildable. If you
want to build without documentation, I would suggest not using `validate`
and configure `mk/build.mk` appropriately:
{{{
BUILD_SPHINX_HTML = NO
BUILD_SPHINX_PDF = NO
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15218#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list