diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2020-06-20 11:38:59 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2020-07-12 21:38:26 -0400 |
| commit | c81e408a767fd16fefe2423e8958a9c9a30f0db2 (patch) | |
| tree | a8889f8f3b1dc36b56c603d21388046cacf8e632 | |
| parent | 7f65115cb20e68c4ad7ab57f71ce5bd720b7a5ac (diff) | |
| download | haskell-wip/angerman/fix-hadrian-cross-macos.tar.gz | |
| -rw-r--r-- | hadrian/src/Oracles/Flag.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/hadrian/src/Oracles/Flag.hs b/hadrian/src/Oracles/Flag.hs index 948a57ea18..2a8365e21d 100644 --- a/hadrian/src/Oracles/Flag.hs +++ b/hadrian/src/Oracles/Flag.hs @@ -12,6 +12,18 @@ import Base import Context import Oracles.Setting +-- Flags can be either staged or not. Global flags are assumed to be identical +-- across all stages. While staged flags are specific to a given stage. Flags +-- are read from the @cfg/system.config@ (the result of configure processing +-- @cfg/system.config.in@). See @flag@ below for the actual FlagName to lookup +-- key mapping. If staged flags can not be found, they fall back to the Global +-- flag. Thus we can special case only single stages while falling back to the +-- global value. +-- +-- Example: When cross compiling the Stage0 (bootstrap) @ar@ might be bsd ar and +-- thus not support \@ response files. However the the Stage1+ toolchain might. +-- Therefore we must special case @ArSupportsAtFile@ for stage0 to be NO, while +-- it can be YES for stage1+. data FlagName = ArSupportsAtFile | CrossCompiling | CcLlvmBackend @@ -27,6 +39,9 @@ data FlagName = ArSupportsAtFile | UseSystemFfi | BootstrapThreadedRts +-- Use Global if you are certain the flag is global across all stages (or there +-- simply is no stage/context available). Use of Staged is preferred as it +-- provides more precise information about the use of the Flag. data Flag = Global FlagName | Staged Stage FlagName |