blob: e6c42907de0e8272a036929a9414f708a2a0bacc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
module Rules.SimpleTargets
( simplePackageTargets
, completionRule
) where
import Base
import CommandLine
import Context
import Packages
import Settings
import Data.Foldable
-- | Simple aliases for library and executable targets.
--
-- - @stage<N>:lib:<name>@ will build library @name@ with
-- the stage N compiler, putting the result under
-- @<build root>/stage<N>/lib@.
-- - @stage<N>:exe:<name>@ will build executable @name@
-- with the stage N-1 compiler, putting the result under
-- @<build root>/stage<N-1>/bin.
simplePackageTargets :: Rules ()
simplePackageTargets = traverse_ simpleTarget targets
where targets = [ (stage, target)
| stage <- [minBound..maxBound]
, target <- knownPackages
]
simpleTarget :: (Stage, Package) -> Rules ()
simpleTarget (stage, target) = do
root <- buildRootRules
let tgt = intercalate ":" [stagestr, typ, pkgname]
tgt ~> do
p <- getTargetPath stage target
need [ p ]
-- build the _build/ghc-stageN wrappers if this is the ghc package
if target == Packages.ghc
then need [ root -/- ("ghc-" <> stagestr) ]
else pure ()
where typ = if isLibrary target then "lib" else "exe"
stagestr = stageString stage
pkgname = pkgName target
getTargetPath :: Stage -> Package -> Action FilePath
getTargetPath stage pkg
| isLibrary pkg = getLibraryPath stage pkg
| otherwise = getProgramPath stage pkg
getLibraryPath :: Stage -> Package -> Action FilePath
getLibraryPath stage pkg = pkgConfFile (vanillaContext stage pkg)
getProgramPath :: Stage -> Package -> Action FilePath
getProgramPath Stage0 _ =
error ("Cannot build a stage 0 executable target: " ++
"it is the boot compiler's toolchain")
getProgramPath stage pkg = programPath (vanillaContext (pred stage) pkg)
-- | A phony @autocomplete@ rule that prints all valid setting keys
-- completions of the value specified in the @--complete-setting=...@ flag,
-- or simply all valid setting keys if no such argument is passed to Hadrian.
--
-- It is based on the 'completeSetting' function, from the "Settings" module.
completionRule :: Rules ()
completionRule =
"autocomplete" ~> do
partialStr <- fromMaybe "" <$> cmdCompleteSetting
case completeSetting (splitOn "." partialStr) of
[] -> fail $ "No valid completion found for " ++ partialStr
cs -> forM_ cs $ \ks ->
liftIO . putStrLn $ intercalate "." ks
|
