on iko/ghcjs-patch-master help sign in
Adds experimental TSan logic. This will require a custom compiler (#910)

(cherry picked from commit 0f640b42854ee63cdaeee5b0de8cc4b2f6a9d851) Co-authored-by: Hamish Mackenzie <Hamish.Mackenzie@iohk.io>

commitb06fdfa06595668b367a8b9298792076c87e4618 authorMoritz Angermann <moritz.angermann@gmail.com> dateFri 6 Nov 2020, 13:23 (6 years ago) parent945bb74
1 file changed+5
builder/comp-builder.nix+5
builder/comp-builder.nix+5
@@ -66,8 +66,12 @@ let self =
6666, enableDebugRTS ? false
6767, enableDWARF ? false
6868
69+# This will only work with a custom TSan way enabled custom compiler
70+, enableTSanRTS ? false
71+
6972# LLVM
7073, useLLVM ? ghc.useLLVM
74+
7175}@drvArgs:
7276
7377let
@@ -152,6 +156,7 @@ let
152156 ++ configureFlags
153157 ++ (ghc.extraConfigureFlags or [])
154158 ++ lib.optional enableDebugRTS "--ghc-option=-debug"
159+ ++ lib.optional enableTSanRTS "--ghc-option=-tsan"
155160 ++ lib.optional enableDWARF "--ghc-option=-g"
156161 ++ lib.optionals useLLVM [
157162 "--ghc-option=-fPIC" "--gcc-option=-fPIC"