diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 701744570..5763fa7ce 100755 --- a/configure.sh +++ b/configure.sh @@ -46,6 +46,7 @@ The following flags enable optional features (disable with --no-<option name>). --python3 prefer using Python 3 (also for Python bindings) --asan build with ASan instrumentation --ubsan build with UBSan instrumentation + --tsan build with TSan instrumentation The following options configure parameterized features. @@ -110,6 +111,7 @@ buildtype=default abc=default asan=default ubsan=default +tsan=default assertions=default best=default cadical=default @@ -174,6 +176,9 @@ do --ubsan) ubsan=ON;; --no-ubsan) ubsan=OFF;; + --tsan) tsan=ON;; + --no-tsan) tsan=OFF;; + --assertions) assertions=ON;; --no-assertions) assertions=OFF;; @@ -356,6 +361,8 @@ cmake_opts="" && cmake_opts="$cmake_opts -DENABLE_ASAN=$asan" [ $ubsan != default ] \ && cmake_opts="$cmake_opts -DENABLE_UBSAN=$ubsan" +[ $tsan != default ] \ + && cmake_opts="$cmake_opts -DENABLE_TSAN=$tsan" [ $assertions != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASSERTIONS=$assertions" [ $best != default ] \ |