diff options
author | Palmer Dabbelt <palmer@rivosinc.com> | 2022-04-21 08:38:19 -0700 |
---|---|---|
committer | Palmer Dabbelt <palmer@rivosinc.com> | 2022-04-21 08:46:30 -0700 |
commit | a939758dd0360d2a513248f4033dc611ab1ad6c4 (patch) | |
tree | cae8e21545c8ce350cea4c59a96b41fc37792728 /Makefile.in | |
parent | ad52c0d465ce2316333c81b962985bed2106138b (diff) | |
download | riscv-gnu-toolchain-a939758dd0360d2a513248f4033dc611ab1ad6c4.zip riscv-gnu-toolchain-a939758dd0360d2a513248f4033dc611ab1ad6c4.tar.gz riscv-gnu-toolchain-a939758dd0360d2a513248f4033dc611ab1ad6c4.tar.bz2 |
Add an "--enable-libsanitizer" configure-time argument
This lets users select whether or not to build libsanitizer, which
currently does not support rv32 and thus can't be enabled by default.
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 41fe4c5..7f36894 100644 --- a/Makefile.in +++ b/Makefile.in @@ -35,6 +35,7 @@ WITH_ABI ?= @WITH_ABI@ WITH_TUNE ?= @WITH_TUNE@ WITH_ISA_SPEC ?= @WITH_ISA_SPEC@ SYSROOT := $(INSTALL_DIR)/sysroot +ENABLE_LIBSANITIZER ?= @enable_libsanitizer@ SHELL := /bin/sh AWK := @GAWK@ @@ -410,9 +411,6 @@ stamps/build-gcc-linux-stage2: $(GCC_SRCDIR) $(GCC_SRC_GIT) $(addprefix stamps/b stamps/build-glibc-linux-headers rm -rf $@ $(notdir $@) mkdir $(notdir $@) - # libsanitizer not supported rv32, - # but it will break the rv64 multi-lib build, so we disable that - # temporally untill rv32 supported. cd $(notdir $@) && $</configure \ --target=$(LINUX_TUPLE) \ $(CONFIGURE_HOST) \ @@ -426,7 +424,7 @@ stamps/build-gcc-linux-stage2: $(GCC_SRCDIR) $(GCC_SRC_GIT) $(addprefix stamps/b --disable-libmudflap \ --disable-libssp \ --disable-libquadmath \ - --disable-libsanitizer \ + $(ENABLE_LIBSANITIZER) \ --disable-nls \ --disable-bootstrap \ --src=$(gccsrcdir) \ |