php-src/ext/readline/config.m4

67 lines
1.9 KiB
Plaintext
Raw Normal View History

2001-11-30 19:00:13 +00:00
dnl
dnl $Id$
2001-11-30 19:00:13 +00:00
dnl
PHP_ARG_WITH(libedit,for libedit readline replacement,
[ --with-libedit[=DIR] Include libedit readline replacement.])
PHP_ARG_WITH(readline,for readline support,
2001-11-30 19:00:13 +00:00
[ --with-readline[=DIR] Include readline support.])
2000-01-07 13:30:53 +00:00
if test "$PHP_READLINE" != "no" -o "$PHP_LIBEDIT" != "no"; then
if test "$PHP_SAPI" != "cgi"; then
AC_MSG_ERROR([readline extension can only be used with CGI build!])
fi
fi
if test "$PHP_READLINE" != "no"; then
for i in /usr/local /usr $PHP_READLINE; do
if test -f $i/include/readline/readline.h; then
READLINE_DIR=$i
fi
done
2000-01-07 13:30:53 +00:00
if test -z "$READLINE_DIR"; then
AC_MSG_ERROR(Please reinstall readline - I cannot find readline.h)
fi
PHP_ADD_INCLUDE($READLINE_DIR/include)
2000-01-07 13:30:53 +00:00
AC_CHECK_LIB(ncurses, tgetent, [
PHP_ADD_LIBRARY_WITH_PATH(ncurses,,READLINE_SHARED_LIBADD)],[
AC_CHECK_LIB(termcap, tgetent, [
PHP_ADD_LIBRARY_WITH_PATH(termcap,,READLINE_SHARED_LIBADD)])
])
PHP_ADD_LIBRARY_WITH_PATH(history, $READLINE_DIR/lib, READLINE_SHARED_LIBADD)
PHP_ADD_LIBRARY_WITH_PATH(readline, $READLINE_DIR/lib, READLINE_SHARED_LIBADD)
PHP_SUBST(READLINE_SHARED_LIBADD)
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
PHP_ADD_INCLUDE($LIBEDIT_DIR/include)
AC_CHECK_LIB(ncurses, tgetent, [
PHP_ADD_LIBRARY_WITH_PATH(ncurses,,READLINE__SHARED_LIBADD)],[
AC_CHECK_LIB(termcap, tgetent, [
PHP_ADD_LIBRARY_WITH_PATH(termcap,,READLINE_SHARED_LIBADD)])
])
PHP_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)
2001-11-30 19:00:13 +00:00
fi