diff options
| author | Ben Smith <binji@chromium.org> | 2016-05-03 12:40:02 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-05-03 14:14:47 -0700 |
| commit | 8090e5535912b3e8d1f484716c85662cefa4fc88 (patch) | |
| tree | 04d793acc94435318ad9a70190f38b37d7dc6580 /Makefile | |
| parent | d57f7bb8d8b5c8dc3317881ae42382b71524e550 (diff) | |
| download | wabt-8090e5535912b3e8d1f484716c85662cefa4fc88.tar.gz wabt-8090e5535912b3e8d1f484716c85662cefa4fc88.tar.bz2 wabt-8090e5535912b3e8d1f484716c85662cefa4fc88.zip | |
move cmake options to the top of the file
Also make sanitizer builds into options, instead of just passing the
flags through from the Makefile.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -34,8 +34,6 @@ SANITIZERS := ASAN MSAN LSAN UBSAN CONFIGS := NORMAL $(SANITIZERS) NO_RE2C_BISON NO_TESTS EXECUTABLES := sexpr-wasm wasm-wast wasm-interp wasm-interp-sq hexfloat_test -UBSAN_C_FLAGS := -fsanitize=undefined -fno-sanitize-recover - # directory names GCC_DIR := gcc/ GCC_I686_DIR := gcc-i686/ @@ -62,10 +60,10 @@ EMSCRIPTEN_FLAG := -DCMAKE_TOOLCHAIN_FILE=${EMSCRIPTEN_DIR}/cmake/Modules/Platfo DEBUG_FLAG := -DCMAKE_BUILD_TYPE=Debug RELEASE_FLAG := -DCMAKE_BUILD_TYPE=Release NORMAL_FLAG := -ASAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=address -DCMAKE_CXX_FLAGS=-fsanitize=address -MSAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=memory -DCMAKE_CXX_FLAGS=-fsanitize=memory -LSAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=leak -DCMAKE_CXX_FLAGS=-fsanitize=leak -UBSAN_FLAG := -DCMAKE_C_FLAGS="${UBSAN_C_FLAGS}" -DCMAKE_CXX_FLAGS="${UBSAN_C_FLAGS}" +ASAN_FLAG := -DUSE_ASAN=ON +MSAN_FLAG := -DUSE_MSAN=ON +LSAN_FLAG := -DUSE_LSAN=ON +UBSAN_FLAG := -DUSE_UBSAN=ON NO_RE2C_BISON_FLAG := -DRUN_BISON=OFF -DRUN_RE2C=OFF NO_TESTS_FLAG := -DBUILD_TESTS=OFF |