[GHC] #8988: Documentation build fails if GHCi is unavailable

[GHC]

#8988: Documentation build fails if GHCi is unavailable
-------------------------------------+-------------------------------------
              Reporter:  cjwatson    |            Owner:
                  Type:  bug         |           Status:  merge
              Priority:  normal      |        Milestone:  7.8.4
             Component:  Compiler    |          Version:  7.8.1
  (Type checker)                     |         Keywords:
            Resolution:  fixed       |     Architecture:  arm
      Operating System:  Linux       |       Difficulty:  Easy (less than 1
       Type of failure:  Building    |  hour)
  GHC failed                         |       Blocked By:
             Test Case:              |  Related Tickets:
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
Changes (by nomeata):

 * status:  closed => merge
 * milestone:  7.10.1 => 7.8.4


Comment:

 This patch is required to get 7.8.4 compile on arm in Debian; I hope this
 makes this eligible for merging into 7.8.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8988#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler