Hadrian: lint ignore autom4te and ghc-pkg cache files.
authorDavid Eichmann <EichmannD@gmail.com>
Tue, 2 Apr 2019 09:59:12 +0000 (10:59 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Tue, 2 Apr 2019 16:40:39 +0000 (12:40 -0400)
hadrian/src/Main.hs

index 11ee233..34e2afe 100644 (file)
@@ -44,6 +44,15 @@ main = do
             -- Enable linting file accesses in the build dir and ghc root dir
             -- (cwd) when using the `--lint-fsatrace` option.
             , shakeLintInside = [ cwd, buildRoot ]
+            , shakeLintIgnore =
+                -- Ignore access to the package database caches.
+                -- They are managed externally by the ghc-pkg tool.
+                [ buildRoot -/- "//package.conf.d/package.cache"
+
+                -- Ignore access to autom4te.cache directories.
+                -- They are managed externally by auto tools.
+                , "//autom4te.cache//*"
+                ]
             }
 
         rules :: Rules ()