diff options
Diffstat (limited to 'ext/session/config.m4')
| -rw-r--r-- | ext/session/config.m4 | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/ext/session/config.m4 b/ext/session/config.m4 deleted file mode 100644 index 4e5a4ddd2c..0000000000 --- a/ext/session/config.m4 +++ /dev/null @@ -1,33 +0,0 @@ -dnl -dnl $Id$ -dnl - -PHP_ARG_ENABLE(session, whether to enable PHP sessions, -[ --disable-session Disable session support], yes) - -PHP_ARG_WITH(mm,for mm support, -[ --with-mm[=DIR] Include mm support for session storage], no, no) - -if test "$PHP_SESSION" != "no"; then - PHP_PWRITE_TEST - PHP_PREAD_TEST - PHP_NEW_EXTENSION(session, session.c mod_files.c mod_mm.c mod_user.c, $ext_shared) - PHP_SUBST(SESSION_SHARED_LIBADD) - AC_DEFINE(HAVE_PHP_SESSION,1,[ ]) -fi - -if test "$PHP_MM" != "no"; then - for i in /usr/local /usr $PHP_MM; do - if test -f "$i/include/mm.h"; then - MM_DIR=$i - fi - done - - if test -z "$MM_DIR" ; then - AC_MSG_ERROR(cannot find mm library) - fi - - PHP_ADD_LIBRARY_WITH_PATH(mm, $MM_DIR/lib, SESSION_SHARED_LIBADD) - PHP_ADD_INCLUDE($MM_DIR/include) - AC_DEFINE(HAVE_LIBMM, 1, [Whether you have libmm]) -fi |