Lines Matching refs:readline
5 PHP_ARG_WITH(libedit,for libedit readline replacement,
6 [ --with-libedit[=DIR] Include libedit readline replacement (CLI/CGI only)])
9 PHP_ARG_WITH(readline,for readline support,
10 [ --with-readline[=DIR] Include readline support (CLI/CGI only)])
12 dnl "register" the --with-readline option to preven invalid "unknown configure option" warning
18 test -f $i/include/readline/readline.h && READLINE_DIR=$i && break
22 AC_MSG_ERROR(Please reinstall readline - I cannot find readline.h)
40 PHP_CHECK_LIBRARY(readline, readline,
42 PHP_ADD_LIBRARY_WITH_PATH(readline, $READLINE_DIR/$PHP_LIBDIR, READLINE_SHARED_LIBADD)
44 AC_MSG_ERROR(readline library not found)
49 PHP_CHECK_LIBRARY(readline, rl_pending_input,
51 AC_MSG_ERROR([invalid readline installation detected. Try --with-libedit instead.])
56 PHP_CHECK_LIBRARY(readline, rl_callback_read_char,
75 test -f $i/include/editline/readline.h && LIBEDIT_DIR=$i && break
79 AC_MSG_ERROR(Please reinstall libedit - I cannot find readline.h)
94 PHP_CHECK_LIBRARY(edit, readline,
98 AC_MSG_ERROR(edit library required by readline not found)
122 PHP_NEW_EXTENSION(readline, readline.c readline_cli.c, $ext_shared, cli)
