diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-05-03 21:47:58 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-05-03 21:48:49 -0700 |
| commit | 43a55a8eb0046bc69a118d0a5fadbbecdafc03a3 (patch) | |
| tree | edbc542254db73de050578bf1869d26cd10c5377 /configure.ac | |
| parent | 09ab7146bef6fb683711c99ff5787aa92e7c1a9f (diff) | |
| download | riscv-gnu-toolchain-43a55a8eb0046bc69a118d0a5fadbbecdafc03a3.zip riscv-gnu-toolchain-43a55a8eb0046bc69a118d0a5fadbbecdafc03a3.tar.gz riscv-gnu-toolchain-43a55a8eb0046bc69a118d0a5fadbbecdafc03a3.tar.bz2 | |
Allow the user to flip "--with-system-zlib"
We need this to have different polarity for different platforms (Windows
vs RedHat). I don't know how to autodetect this for now, so I'm just
doing it manually.
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 c0f3a9f..01b72da 100644 --- a/configure.ac +++ b/configure.ac @@ -135,4 +135,15 @@ AS_IF([test "x$with_host" != xdefault], [AC_SUBST(configure_host,--host=$with_host)], [AC_SUBST(configure_host,"")]) +AC_ARG_WITH(system-zlib, + [AS_HELP_STRING([--without-system-zlib], + [use the builtin copy of zlib from GCC])], + [], + [with_system_zlib=yes] + ) + +AS_IF([test "x$with_system_zlib" != xno], + [AC_SUBST(with_system_zlib,--with-system-zlib)], + [AC_SUBST(with_system_zlib,--without-system-zlib)]) + AC_OUTPUT |