distro_mingw <- lookupStageBuildConfig "settings-use-distro-mingw" st

             -- TODO: Check this is the right stage

             libffi_adjustors <- targetUseLibffiForAdjustors st

             return $ [ unlitPath ]

                   ++ [ root -/- mingwStamp | windowsHost, distro_mingw == "NO" ]

     Context (..), vanillaContext, stageContext,

     -- * Expressions

     -- * Paths

     contextDir, buildPath, buildDir, pkgInplaceConfig, pkgSetupConfigFile, pkgSetupConfigDir,

 staged :: (Stage -> Action a) -> Expr Context b a

 staged f = getStage >>= \stage -> expr (f stage)

 getInplace :: Expr Context b Inplace

 getInplace = iplace <$> getContext

 rtsDependencies = do

     rtsPath <- staged rtsBuildPath

     jsTarget <- staged isJsTarget

     let -- headers common to native and JS RTS

         common_headers =

 -- | Need the (locally built) libffi library.

 needLibffi :: Stage -> Action ()

 needLibffi stage = do

     unless jsTarget $ do

         manifest <- dynLibManifest stage

         need [manifest]

 -- | The name of the library

 libffiName :: Expr String

 libffiName = do

     if useSystemFfi

       then pure "ffi"

       else libffiLocalName Nothing

 libffiRules = do

   _ <- addOracleCache $ \ (LibffiDynLibs stage)

                          -> do

                               if jsTarget

                                 then return []

                                 else readFileLines =<< dynLibManifest stage

         -- Header files

         -- See Note [Packaging libffi headers] in GHC.Driver.CodeOutput.

         forM_ libffiHeaderFiles $ \header ->

         -- Static libraries.

         buildPath -/- "libCffi*.a"     %> copyLibffiStatic stage

 -- See Note [Packaging libffi headers] in GHC.Driver.CodeOutput.

 copyLibffiHeader :: Stage -> FilePath -> Action ()

 copyLibffiHeader stage header = do

     (fromStr, headerDir) <- if useSystemFfi

         then ("system",) <$> libffiSystemHeaderDir stage

         else needLibffi stage

 needRtsLibffiTargets :: Stage -> Action [FilePath]

 needRtsLibffiTargets stage = do

     rtsPath      <- rtsBuildPath stage

     jsTarget     <- isJsTarget stage

     -- Header files (in the rts build dir).

     context <- getContext

     distPath <- expr (Context.distDynDir context)

     buildPath <- getBuildPath

     libffiName' <- libffiName

     debugged <- buildingCompilerStage' . ghcDebugged =<< expr flavour

     way            <- getWay

     path           <- getBuildPath

     top            <- expr topDirectory

     ffiIncludeDir  <- staged (buildSetting FfiIncludeDir)

     ffiLibraryDir  <- staged (buildSetting FfiLibDir)

     libdwIncludeDir   <- staged (\s -> queryTargetTarget s (Lib.includePath <=< tgtRTSWithLibdw))