Merge pull request #1871 from juanjosegarciaripoll/readline-fix

Make libreadline really optional.
This commit is contained in:
Dirk-Jan C. Binnema 2020-12-24 17:50:01 +02:00 committed by GitHub
commit 39bb5dd47b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 4 deletions

View File

@ -246,10 +246,13 @@ AM_COND_IF([BUILD_GUILE],[AC_DEFINE(BUILD_GUILE,[1], [Do we support Guile?])])
###############################################################################
# optional readline
saved_libs=$LIBS
AX_LIB_READLINE
AC_SUBST(READLINE_LIBS,${LIBS})
LIBS=$saved_libs
AC_ARG_ENABLE([readline], AS_HELP_STRING([--disable-readline],[Disable readline]))
AS_IF([test "x$enable_readline" != "xno"], [
saved_libs=$LIBS
AX_LIB_READLINE
AC_SUBST(READLINE_LIBS,${LIBS})
LIBS=$saved_libs
])
###############################################################################
###############################################################################