diff options
author | Stanislav Malyshev <stas@php.net> | 2001-01-18 11:42:09 +0000 |
---|---|---|
committer | Stanislav Malyshev <stas@php.net> | 2001-01-18 11:42:09 +0000 |
commit | 66dafaa2c5a4869787a6d304aefa2fb12c317f7a (patch) | |
tree | 75eb232bf1c982e9d1b1260699e76f5710ac1246 /ext/readline/config.m4 | |
parent | c334520377437d1d82d701e1226e801af8ee2aad (diff) | |
download | php-git-66dafaa2c5a4869787a6d304aefa2fb12c317f7a.tar.gz |
Libedit readline replacement support
# Comments are very welcome!
Diffstat (limited to 'ext/readline/config.m4')
-rw-r--r-- | ext/readline/config.m4 | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index df705ea188..20cdde181b 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -2,6 +2,8 @@ dnl $Id$ dnl config.m4 for extension readline dnl don't forget to call PHP_EXTENSION(readline) +PHP_ARG_WITH(libedit,for libedit readline replacement, +[ --with-libedit[=DIR] Include libedit readline replacement.]) PHP_ARG_WITH(readline,for readline support, [ --with-readline[=DIR] Include readline support. DIR is the readline @@ -32,3 +34,28 @@ if test "$PHP_READLINE" != "no"; then AC_DEFINE(HAVE_LIBREADLINE, 1, [ ]) PHP_EXTENSION(readline, $ext_shared) fi + +if test "$PHP_LIBEDIT" != "no"; then + for i in /usr/local /usr $PHP_LIBEDIT; do + if test -f $i/include/readline/readline.h; then + LIBEDIT_DIR=$i + fi + done + + if test -z "$LIBEDIT_DIR"; then + AC_MSG_ERROR(Please reinstall libedit - I cannot find readline.h) + fi + AC_ADD_INCLUDE($LIBEDIT_DIR/include) + + AC_CHECK_LIB(ncurses, tgetent, [ + AC_ADD_LIBRARY_WITH_PATH(ncurses,,READLINE__SHARED_LIBADD)],[ + AC_CHECK_LIB(termcap, tgetent, [ + AC_ADD_LIBRARY_WITH_PATH(termcap,,READLINE_SHARED_LIBADD)]) + ]) + + AC_ADD_LIBRARY_WITH_PATH(edit, $LIBEDIT_DIR/lib, READLINE_SHARED_LIBADD) + PHP_SUBST(READLINE_SHARED_LIBADD) + + AC_DEFINE(HAVE_LIBEDIT, 1, [ ]) + PHP_EXTENSION(readline, $ext_shared) +fi
\ No newline at end of file |