diff options
author | Alp Mestanogullari <alpmestan@gmail.com> | 2019-06-03 13:57:02 (GMT) |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-04 18:43:17 (GMT) |
commit | ba4e3934abc82e0ba2bec51842315819910d1018 (patch) | |
tree | 3655e8992cffef432168e6e4544558ba0740c186 | |
parent | c16f3297401f8f1f0f5d289867725ad185ac5a40 (diff) | |
download | ghc-ba4e3934abc82e0ba2bec51842315819910d1018.zip ghc-ba4e3934abc82e0ba2bec51842315819910d1018.tar.gz ghc-ba4e3934abc82e0ba2bec51842315819910d1018.tar.bz2 |
Hadrian: profiling and debug enabled ways support -eventlog too
-rw-r--r-- | hadrian/src/Settings/Builders/Ghc.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hadrian/src/Settings/Builders/Ghc.hs b/hadrian/src/Settings/Builders/Ghc.hs index 0f5ed94..db368f9 100644 --- a/hadrian/src/Settings/Builders/Ghc.hs +++ b/hadrian/src/Settings/Builders/Ghc.hs @@ -176,10 +176,12 @@ wayGhcArgs = do , (Threaded `wayUnit` way) ? arg "-optc-DTHREADED_RTS" , (Debug `wayUnit` way) ? arg "-optc-DDEBUG" , (Profiling `wayUnit` way) ? arg "-prof" - , (Logging `wayUnit` way) ? arg "-eventlog" + , supportsEventlog way ? arg "-eventlog" , (way == debug || way == debugDynamic) ? pure ["-ticky", "-DTICKY_TICKY"] ] + where supportsEventlog w = any (`wayUnit` w) [Logging, Profiling, Debug] + packageGhcArgs :: Args packageGhcArgs = do package <- getPackage |