diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 244592aee..701744570 100755 --- a/configure.sh +++ b/configure.sh @@ -44,6 +44,8 @@ The following flags enable optional features (disable with --no-<option name>). --unit-testing support for unit testing --python2 prefer using Python 2 (also for Python bindings) --python3 prefer using Python 3 (also for Python bindings) + --asan build with ASan instrumentation + --ubsan build with UBSan instrumentation The following options configure parameterized features. @@ -107,6 +109,7 @@ buildtype=default abc=default asan=default +ubsan=default assertions=default best=default cadical=default @@ -168,6 +171,9 @@ do --asan) asan=ON;; --no-asan) asan=OFF;; + --ubsan) ubsan=ON;; + --no-ubsan) ubsan=OFF;; + --assertions) assertions=ON;; --no-assertions) assertions=OFF;; @@ -348,6 +354,8 @@ cmake_opts="" [ $asan != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASAN=$asan" +[ $ubsan != default ] \ + && cmake_opts="$cmake_opts -DENABLE_UBSAN=$ubsan" [ $assertions != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASSERTIONS=$assertions" [ $best != default ] \ |