diff options
Diffstat (limited to '3rdparty/asmjit/tools/configure-sanitizers.sh')
-rw-r--r-- | 3rdparty/asmjit/tools/configure-sanitizers.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/3rdparty/asmjit/tools/configure-sanitizers.sh b/3rdparty/asmjit/tools/configure-sanitizers.sh new file mode 100644 index 00000000000..46e332cfb7e --- /dev/null +++ b/3rdparty/asmjit/tools/configure-sanitizers.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +CURRENT_DIR=`pwd` +BUILD_DIR="build" +BUILD_OPTIONS="-DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DASMJIT_TEST=1" + +echo "** Configuring '${BUILD_DIR}_rel_asan' [Sanitize=Address] **" +mkdir -p ../${BUILD_DIR}_rel_asan +cd ../${BUILD_DIR}_rel_asan +eval cmake .. -GNinja -DCMAKE_BUILD_TYPE=Release ${BUILD_OPTIONS} -DASMJIT_SANITIZE=address +cd ${CURRENT_DIR} + +echo "** Configuring '${BUILD_DIR}_rel_ubsan' [Sanitize=Undefined] **" +mkdir -p ../${BUILD_DIR}_rel_ubsan +cd ../${BUILD_DIR}_rel_ubsan +eval cmake .. -GNinja -DCMAKE_BUILD_TYPE=Release ${BUILD_OPTIONS} -DASMJIT_SANITIZE=undefined +cd ${CURRENT_DIR} |