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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
{-# LANGUAGE MultiWayIf #-}
module Oracles.Flag (
Flag (..), flag, getFlag, platformSupportsSharedLibs,
targetSupportsSMP, useLibffiForAdjustors
) where
import Hadrian.Oracles.TextFile
import Hadrian.Expression
import Base
import Oracles.Setting
data Flag = ArSupportsAtFile
| CrossCompiling
| CcLlvmBackend
| GhcUnregisterised
| TablesNextToCode
| GmpInTree
| GmpFrameworkPref
| LeadingUnderscore
| SolarisBrokenShld
| WithLibdw
| WithLibnuma
| HaveLibMingwEx
| UseSystemFfi
| BootstrapThreadedRts
| SystemDistroMINGW
| UseLibffiForAdjustors
-- Note, if a flag is set to empty string we treat it as set to NO. This seems
-- fragile, but some flags do behave like this.
flag :: Flag -> Action Bool
flag f = do
let key = case f of
ArSupportsAtFile -> "ar-supports-at-file"
CrossCompiling -> "cross-compiling"
CcLlvmBackend -> "cc-llvm-backend"
GhcUnregisterised -> "ghc-unregisterised"
TablesNextToCode -> "tables-next-to-code"
GmpInTree -> "intree-gmp"
GmpFrameworkPref -> "gmp-framework-preferred"
LeadingUnderscore -> "leading-underscore"
SolarisBrokenShld -> "solaris-broken-shld"
WithLibdw -> "with-libdw"
WithLibnuma -> "with-libnuma"
HaveLibMingwEx -> "have-lib-mingw-ex"
UseSystemFfi -> "use-system-ffi"
BootstrapThreadedRts -> "bootstrap-threaded-rts"
SystemDistroMINGW -> "system-use-distro-mingw"
UseLibffiForAdjustors -> "use-libffi-for-adjustors"
value <- lookupValueOrError configFile key
when (value `notElem` ["YES", "NO", ""]) . error $ "Configuration flag "
++ quote (key ++ " = " ++ value) ++ " cannot be parsed."
return $ value == "YES"
-- | Get a configuration setting.
getFlag :: Flag -> Expr c b Bool
getFlag = expr . flag
platformSupportsSharedLibs :: Action Bool
platformSupportsSharedLibs = do
windows <- isWinTarget
ppc_linux <- anyTargetPlatform [ "powerpc-unknown-linux" ]
solaris <- anyTargetPlatform [ "i386-unknown-solaris2" ]
solarisBroken <- flag SolarisBrokenShld
return $ not (windows || ppc_linux || solaris && solarisBroken)
-- | Does the target support the threaded runtime system?
targetSupportsSMP :: Action Bool
targetSupportsSMP = do
unreg <- flag GhcUnregisterised
armVer <- targetArmVersion
goodArch <- anyTargetArch ["i386"
, "x86_64"
, "sparc"
, "powerpc"
, "powerpc64"
, "powerpc64le"
, "arm"
, "aarch64"
, "s390x"
, "riscv64"]
if -- The THREADED_RTS requires `BaseReg` to be in a register and the
-- Unregisterised mode doesn't allow that.
| unreg -> return False
-- We don't support load/store barriers pre-ARMv7. See #10433.
| Just ver <- armVer
, ver < ARMv7 -> return False
| goodArch -> return True
| otherwise -> return False
useLibffiForAdjustors :: Action Bool
useLibffiForAdjustors = flag UseLibffiForAdjustors
|
