diff options
Diffstat (limited to 'hadrian/src/Rules.hs')
| -rw-r--r-- | hadrian/src/Rules.hs | 123 |
1 files changed, 0 insertions, 123 deletions
diff --git a/hadrian/src/Rules.hs b/hadrian/src/Rules.hs deleted file mode 100644 index d5c26e8e94..0000000000 --- a/hadrian/src/Rules.hs +++ /dev/null @@ -1,123 +0,0 @@ -module Rules (buildRules, oracleRules, packageTargets, topLevelTargets) where - -import qualified Hadrian.Oracles.ArgsHash -import qualified Hadrian.Oracles.DirectoryContents -import qualified Hadrian.Oracles.Path -import qualified Hadrian.Oracles.TextFile - -import Expression -import qualified Oracles.ModuleFiles -import qualified Rules.Compile -import qualified Rules.PackageData -import qualified Rules.Dependencies -import qualified Rules.Documentation -import qualified Rules.Generate -import qualified Rules.Configure -import qualified Rules.Gmp -import qualified Rules.Libffi -import qualified Rules.Library -import qualified Rules.Program -import qualified Rules.Register -import Settings -import Target -import UserSettings -import Utilities - -allStages :: [Stage] -allStages = [minBound ..] - --- | This rule calls 'need' on all top-level build targets, respecting the --- 'Stage1Only' flag. -topLevelTargets :: Rules () -topLevelTargets = action $ do - let libraryPackages = filter isLibrary (knownPackages \\ [libffi]) - need =<< if stage1Only - then do - libs <- concatForM [Stage0, Stage1] $ \stage -> - concatForM libraryPackages $ packageTargets False stage - prgs <- concatForM programsStage1Only $ packageTargets False Stage0 - return $ libs ++ prgs ++ inplaceLibCopyTargets - else do - targets <- concatForM allStages $ \stage -> - concatForM (knownPackages \\ [libffi]) $ - packageTargets False stage - return $ targets ++ inplaceLibCopyTargets - --- TODO: Get rid of the @includeGhciLib@ hack. --- | Return the list of targets associated with a given 'Stage' and 'Package'. --- By setting the Boolean parameter to False it is possible to exclude the GHCi --- library from the targets, and avoid running @ghc-cabal@ to determine wether --- GHCi library needs to be built for this package. We typically want to set --- this parameter to True, however it is important to set it to False when --- computing 'topLevelTargets', as otherwise the whole build gets sequentialised --- because we need to run @ghc-cabal@ in the order respecting package dependencies. -packageTargets :: Bool -> Stage -> Package -> Action [FilePath] -packageTargets includeGhciLib stage pkg = do - let context = vanillaContext stage pkg - activePackages <- stagePackages stage - if pkg `notElem` activePackages - then return [] -- Skip inactive packages. - else if isLibrary pkg - then do -- Collect all targets of a library package. - let pkgWays = if pkg == rts then getRtsWays else getLibraryWays - ways <- interpretInContext context pkgWays - libs <- mapM (pkgLibraryFile . Context stage pkg) ways - more <- libraryTargets includeGhciLib context - setup <- pkgSetupConfigFile context - return $ [ setup | not (nonCabalContext context) ] ++ libs ++ more - else do -- The only target of a program package is the executable. - prgContext <- programContext stage pkg - prgPath <- programPath prgContext - return [prgPath] - -packageRules :: Rules () -packageRules = do - -- We cannot register multiple GHC packages in parallel. Also we cannot run - -- GHC when the package database is being mutated by "ghc-pkg". This is a - -- classic concurrent read exclusive write (CREW) conflict. - let maxConcurrentReaders = 1000 - packageDb <- newResource "package-db" maxConcurrentReaders - let readPackageDb = [(packageDb, 1)] - writePackageDb = [(packageDb, maxConcurrentReaders)] - - let contexts = liftM3 Context allStages knownPackages allWays - vanillaContexts = liftM2 vanillaContext allStages knownPackages - - forM_ contexts $ mconcat - [ Rules.Compile.compilePackage readPackageDb - , Rules.Library.buildPackageLibrary ] - - let dynamicContexts = liftM3 Context [Stage1 ..] knownPackages [dynamic] - forM_ dynamicContexts Rules.Library.buildDynamicLib - - forM_ (filter isProgram knownPackages) $ - Rules.Program.buildProgram readPackageDb - - forM_ vanillaContexts $ mconcat - [ Rules.PackageData.buildPackageData - , Rules.Dependencies.buildPackageDependencies readPackageDb - , Rules.Documentation.buildPackageDocumentation - , Rules.Library.buildPackageGhciLibrary - , Rules.Generate.generatePackageCode - , Rules.Register.registerPackage writePackageDb ] - -buildRules :: Rules () -buildRules = do - Rules.Configure.configureRules - Rules.Generate.copyRules - Rules.Generate.generateRules - Rules.Gmp.gmpRules - Rules.Libffi.libffiRules - packageRules - -oracleRules :: Rules () -oracleRules = do - Hadrian.Oracles.ArgsHash.argsHashOracle trackArgument getArgs - Hadrian.Oracles.DirectoryContents.directoryContentsOracle - Hadrian.Oracles.Path.pathOracle - Hadrian.Oracles.TextFile.textFileOracle - Oracles.ModuleFiles.moduleFilesOracle - -programsStage1Only :: [Package] -programsStage1Only = [ deriveConstants, genapply, genprimopcode, ghc, ghcCabal - , ghcPkg, hp2ps, hpc, hsc2hs, runGhc ] |