[GHC] #15971: Hadrian fails Shake's linter on Windows

[GHC]

#15971: Hadrian fails Shake's linter on Windows
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.8.1
       Component:  Build System      |              Version:  8.7
  (Hadrian)                          |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by snowleopard):

 I'm working on this.

 > Strangely, none of these filenames appear elsewhere in the log, so it's
 unclear when they could have been touched.

 Just to clarify, they are produced by this build rule:

 https://github.com/ghc/ghc/blob/93e86d6103757b43017535c92bc6970e9e2315a5/hadrian/src/Rules/Gmp.hs#L50-L67

 Note that we do not know all GMP object files statically, before the
 build, and therefore cannot tell Shake which files we expect to produce as
 the result of running this rule.

 I'm not entirely clear about how this causes the lint failure.

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