Disable Shake Lint by default.

build.nix.sh

@@ -30,6 +30,5 @@ echo $absoluteRoot
 cd "$absoluteRoot"
 
 hadrian         \
-  --lint                         \
   --directory="$absoluteRoot/.." \
   "$@"

hadrian/build.cabal.bat

@@ -32,7 +32,6 @@ if %CABMAJOR% equ 2 (
 if %_cabal_ok% equ 1 (
     "%CABAL%" --project-file=%PROJ% new-build %CABFLAGS% -j exe:hadrian
     "%CABAL%" --project-file=%PROJ% new-run   %CABFLAGS%    exe:hadrian -- ^
-        --lint ^
         --directory "%CD%" ^
         %*
 ) else (

hadrian/build.cabal.sh

@@ -25,7 +25,6 @@ if [ "${CABVER[0]}" -gt 2 -o "${CABVER[0]}" -eq 2 -a "${CABVER[1]}" -ge 2 ];
 then
     "$CABAL" --project-file="$PROJ" new-build $CABFLAGS -j exe:hadrian
     "$CABAL" --project-file="$PROJ" new-run   $CABFLAGS    exe:hadrian -- \
-        --lint             \
         --directory "$PWD" \
         "$@"
 else

hadrian/build.stack.bat

@@ -8,4 +8,4 @@ stack build
 if %errorlevel% neq 0 exit /B %errorlevel%
 
 rem Run Hadrian in GHC top directory forwarding additional user arguments
-stack exec hadrian -- --lint --directory ".." %*
+stack exec hadrian -- --directory ".." %*

hadrian/build.stack.sh

@@ -34,6 +34,5 @@ cd "$absoluteRoot"
 stack build --no-library-profiling ${HADRIAN_NIX:+--nix}
 
 stack exec hadrian --              \
-    --lint                         \
     --directory "$absoluteRoot/.." \
     "$@"

hadrian/src/Rules/Gmp.hs

@@ -14,10 +14,9 @@ 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.
+    -- The line below causes a Shake Lint failure on Windows, which forced us to
+    -- disable Lint by default. See more details here:
+    -- https://ghc.haskell.org/trac/ghc/ticket/15971.
     map unifyPath <$>
         liftIO (getDirectoryFilesIO "" [gmpPath -/- gmpObjectsDir -/- "*.o"])