on iko/ghcjs-patch-master help sign in
Adds experimental TSan logic. This will require a custom compiler (#910)
b06fdfaMoritz Angermann
builder/comp-builder.nix+5
@@ -66,8 +66,12 @@ let self =
66, enableDebugRTS ? false
66, enableDebugRTS ? false
67, enableDWARF ? false
67, enableDWARF ? false
68
68
69+# This will only work with a custom TSan way enabled custom compiler
70+, enableTSanRTS ? false
71+
69# LLVM
72# LLVM
70, useLLVM ? ghc.useLLVM
73, useLLVM ? ghc.useLLVM
74+
71}@drvArgs:
75}@drvArgs:
72
76
73let
77let
@@ -152,6 +156,7 @@ let
152 ++ configureFlags
156 ++ configureFlags
153 ++ (ghc.extraConfigureFlags or [])
157 ++ (ghc.extraConfigureFlags or [])
154 ++ lib.optional enableDebugRTS "--ghc-option=-debug"
158 ++ lib.optional enableDebugRTS "--ghc-option=-debug"
159+ ++ lib.optional enableTSanRTS "--ghc-option=-tsan"
155 ++ lib.optional enableDWARF "--ghc-option=-g"
160 ++ lib.optional enableDWARF "--ghc-option=-g"
156 ++ lib.optionals useLLVM [
161 ++ lib.optionals useLLVM [
157 "--ghc-option=-fPIC" "--gcc-option=-fPIC"
162 "--ghc-option=-fPIC" "--gcc-option=-fPIC"