diff options
-rw-r--r-- | ext/readline/config.m4 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index 2fb8ca42c3..a320deeb42 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -46,6 +46,13 @@ if test "$PHP_READLINE" && test "$PHP_READLINE" != "no"; then -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS ]) + PHP_CHECK_LIBRARY(readline, rl_pending_input, + [], [ + AC_MSG_ERROR([invalid readline installation detected. Try --with-libedit instead.]) + ], [ + -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS + ]) + PHP_CHECK_LIBRARY(readline, rl_callback_read_char, [ AC_DEFINE(HAVE_RL_CALLBACK_READ_CHAR, 1, [ ]) |