diff options
author | David Himmelstrup <lemmih@gmail.com> | 2020-09-10 16:20:35 +0800 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-11 09:59:43 -0400 |
commit | 1bd28931903c2fbc10a4b2ecbf9dffd0a3585ac8 (patch) | |
tree | 114f0c182d71b90931106b9d1a97824cc445697f /hadrian | |
parent | 3777be14e104f040b826762f5ab42a8b898d85ae (diff) | |
download | haskell-1bd28931903c2fbc10a4b2ecbf9dffd0a3585ac8.tar.gz |
Define TICKY_TICKY when compiling cmm RTS files.
Diffstat (limited to 'hadrian')
-rw-r--r-- | hadrian/src/Settings/Packages.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hadrian/src/Settings/Packages.hs b/hadrian/src/Settings/Packages.hs index cdf5a51d8d..026758b2b7 100644 --- a/hadrian/src/Settings/Packages.hs +++ b/hadrian/src/Settings/Packages.hs @@ -279,7 +279,8 @@ rtsPackageArgs = package rts ? do , arg $ "-DFS_NAMESPACE=rts" , arg $ "-DCOMPILING_RTS" , notM targetSupportsSMP ? arg "-DNOSMP" - , way `elem` [debug, debugDynamic] ? arg "-DTICKY_TICKY" + , way `elem` [debug, debugDynamic] ? pure [ "-DTICKY_TICKY" + , "-optc-DTICKY_TICKY"] , Profiling `wayUnit` way ? arg "-DPROFILING" , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? pure [ "-DNOSMP" |