diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -31,7 +31,7 @@ DEFAULT_BUILD_TYPE = DEBUG COMPILERS := GCC GCC_I686 GCC_FUZZ CLANG EMSCRIPTEN BUILD_TYPES := DEBUG RELEASE SANITIZERS := ASAN MSAN LSAN UBSAN -CONFIGS := NORMAL $(SANITIZERS) NO_RE2C_BISON NO_TESTS +CONFIGS := NORMAL $(SANITIZERS) COV NO_RE2C_BISON NO_TESTS EXECUTABLES := wast2wasm wasm2wast wasm-interp wasmopcodecnt hexfloat_test \ wasmdump wast-desugar wasm-link @@ -49,6 +49,7 @@ MSAN_DIR := msan/ LSAN_DIR := lsan/ UBSAN_DIR := ubsan/ NO_RE2C_BISON_DIR := no-re2c-bison/ +COV_DIR := cov/ NO_TESTS_DIR := no-tests/ # CMake flags @@ -65,6 +66,7 @@ ASAN_FLAG := -DUSE_ASAN=ON MSAN_FLAG := -DUSE_MSAN=ON LSAN_FLAG := -DUSE_LSAN=ON UBSAN_FLAG := -DUSE_UBSAN=ON +COV_FLAG := -DCODE_COVERAGE=ON NO_RE2C_BISON_FLAG := -DRUN_BISON=OFF -DRUN_RE2C=OFF NO_TESTS_FLAG := -DBUILD_TESTS=OFF @@ -81,6 +83,7 @@ ASAN_PREFIX := -asan MSAN_PREFIX := -msan LSAN_PREFIX := -lsan UBSAN_PREFIX := -ubsan +COV_PREFIX := -cov NO_RE2C_BISON_PREFIX := -no-re2c-bison NO_TESTS_PREFIX := -no-tests |