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 /configure.ac | |
| 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 'configure.ac')
| -rw-r--r-- | configure.ac | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 64152fc..8434257 100644 --- a/configure.ac +++ b/configure.ac @@ -242,6 +242,17 @@ AC_ARG_WITH(linux-headers-src, [with_linux_headers_src=default] ) +AC_ARG_ENABLE(libsanitizer, + [AS_HELP_STRING([--enable-libsanitizer], + [Build libsanitizer, which only supports rv64])], + [], + [enable_libsanitizer=no] + ) + +AS_IF([test "x$enable_libsanitizer" != xno], + [AC_SUBST(enable_libsanitizer, --enable-libsanitizer)], + [AC_SUBST(enable_libsanitizer, --disable-libsanitizer)]) + AS_IF([test "x$with_linux_headers_src" != xdefault], [AC_SUBST(with_linux_headers_src,$with_linux_headers_src)], [AC_SUBST(with_linux_headers_src,"\$(srcdir)/linux-headers/include")]) |