diff options
author | 2020-05-28 20:24:40 +0700 | |
---|---|---|
committer | 2020-05-28 20:24:40 +0700 | |
commit | 45615b7f4b7b50df29dc14bcb74fd13850bb7633 (patch) | |
tree | d2c8c1b93d68b3fb87c06060ff3f2435301dd3b9 /3rdparty/asmjit/tools/configure-sanitizers.sh | |
parent | 3ed842c01cb666533da31a0bc0907ef8bd4a0f63 (diff) |
asmjit: new 3rdparty library
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} |