diff options
Diffstat (limited to 'ext/session/config.m4')
-rw-r--r-- | ext/session/config.m4 | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/ext/session/config.m4 b/ext/session/config.m4 deleted file mode 100644 index 72c56732e3..0000000000 --- a/ext/session/config.m4 +++ /dev/null @@ -1,36 +0,0 @@ -dnl $Id$ - -PHP_ARG_WITH(mm,for mm support, -[ --with-mm[=DIR] Include mm support for session storage]) - -PHP_ARG_ENABLE(trans-sid,whether to enable transparent session id propagation, -[ --enable-trans-sid Enable transparent session id propagation]) - -PHP_ARG_ENABLE(session, whether to enable session support, -[ --disable-session Disable session support], yes) - -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 - - AC_ADD_LIBRARY_WITH_PATH(mm, $MM_DIR/lib, SESSION_SHARED_LIBADD) - AC_ADD_INCLUDE($MM_DIR/include) - AC_DEFINE(HAVE_LIBMM, 1, [Whether you have libmm]) - PHP_MODULE_PTR(phpext_ps_mm_ptr) -fi - -if test "$PHP_TRANS_SID" = "yes"; then - AC_DEFINE(TRANS_SID, 1, [Whether you want transparent session id propagation]) -fi - -if test "$PHP_SESSION" != "no"; then - PHP_EXTENSION(session,$ext_shared) - PHP_SUBST(SESSION_SHARED_LIBADD) -fi |