Opened 14 months ago

Closed 5 months ago

#8988 closed bug (fixed)

Documentation build fails if GHCi is unavailable

Reported by: cjwatson Owned by:
Priority: normal Milestone: 7.8.4
Component: Compiler (Type checker) Version: 7.8.1
Keywords: Cc:
Operating System: Linux Architecture: arm
Type of failure: Building GHC failed Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

Joachim Breitner reported that the documentation fails to build on Debian armhf:

   0% (  0 /  5) in 'WwLib'
   0% (  0 /  2) in 'DmdAnal'
   0% (  0 /  2) in 'WorkWrap'

compiler/typecheck/TcSplice.lhs-boot:29:1:
    TcSplice.tcTopSpliceExpr is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:37:1:
    TcSplice.runMetaE is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:38:1:
    TcSplice.runMetaP is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:39:1:
    TcSplice.runMetaT is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:40:1:
    TcSplice.runMetaD is exported by the hs-boot file, but not exported by the module
  67% (  2 /  3) in 'CmmPipeline'
   0% (  0 /  3) in 'StgCmmHpc'
   0% (  0 / 13) in 'PrelInfo'
   0% (  0 /  4) in 'StgCmmCon'
   0% (  0 /  2) in 'StgCmmExpr'
   0% (  0 /  6) in 'StgCmmBind'
   0% (  0 /  2) in 'CmmParse'
   0% (  0 /  2) in 'StgCmm'
   5% (  9 /175) in 'TcRnMonad'
make[2]: *** [compiler/stage2/doc/html/ghc/ghc.haddock] Error 1

The attached patch fixes this.

Attachments (1)

0001-Fix-documentation-build-failure-without-GHCi.patch (1.6 KB) - added by cjwatson 14 months ago.
Fix documentation build failure without GHCi

Download all attachments as: .zip

Change History (5)

Changed 14 months ago by cjwatson

Fix documentation build failure without GHCi

comment:1 Changed 12 months ago by thomie

  • Status changed from new to patch

comment:2 Changed 9 months ago by thoughtpolice

  • Milestone set to 7.10.1
  • Resolution set to fixed
  • Status changed from patch to closed

I believe this was already fixed in d996a1bb4db84727fbf1a8e9461a032e04e544e7 - sorry we missed your patch, Colin! Please re-open if this doesn't work.

comment:3 Changed 5 months ago by nomeata

  • Milestone changed from 7.10.1 to 7.8.4
  • Status changed from closed to merge

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.

comment:4 Changed 5 months ago by thoughtpolice

  • Status changed from merge to closed

Merged to 7.8.4.

Note: See TracTickets for help on using tickets.