Switch to the untracked version of getDirectoryFiles when scanning for GMP objects
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Wed, 9 Jan 2019 21:34:03 +0000 (21:34 +0000)
committerBen Gamari <ben@smart-cactus.org>
Wed, 16 Jan 2019 19:17:34 +0000 (14:17 -0500)
See https://ghc.haskell.org/trac/ghc/ticket/15971.

This is work in progress: this commit does the right thing, but does not
yet fix the ticket.

hadrian/src/Rules/Gmp.hs
hadrian/src/Rules/Library.hs

index 32265fe..0194518 100644 (file)
@@ -1,5 +1,5 @@
 module Rules.Gmp (
-    gmpRules, gmpBuildPath, gmpObjectsDir, gmpLibraryH
+    gmpRules, gmpBuildPath, gmpObjects, gmpLibraryH
     ) where
 
 import Base
@@ -9,6 +9,18 @@ import Packages
 import Target
 import Utilities
 
+-- | Build GMP library objects and return their paths.
+gmpObjects :: Action [FilePath]
+gmpObjects = do
+    gmpPath <- gmpBuildPath
+    need [gmpPath -/- gmpLibraryH]
+    -- We need to use the untracked version of 'getDirectoryFiles', because the
+    -- contents of 'gmpObjectsDir' is built by Hadrian (in 'gmpRules'). Using
+    -- the tracked version can lead to Shake Lint failure.
+    -- See: https://ghc.haskell.org/trac/ghc/ticket/15971.
+    map unifyPath <$>
+        liftIO (getDirectoryFilesIO "" [gmpPath -/- gmpObjectsDir -/- "*.o"])
+
 gmpBase :: FilePath
 gmpBase = pkgPath integerGmp -/- "gmp"
 
index 1220040..8bd7067 100644 (file)
@@ -103,11 +103,8 @@ cObjects context = do
 -- 'Context' is @integer-gmp@.
 extraObjects :: Context -> Action [FilePath]
 extraObjects context
-    | package context == integerGmp = do
-        gmpPath <- gmpBuildPath
-        need [gmpPath -/- gmpLibraryH]
-        map unifyPath <$> getDirectoryFiles "" [gmpPath -/- gmpObjectsDir -/- "*.o"]
-    | otherwise         = return []
+    | package context == integerGmp = gmpObjects
+    | otherwise                     = return []
 
 -- | Return all the object files to be put into the library we're building for
 -- the given 'Context'.