mirror of
https://github.com/php/php-src.git
synced 2024-10-01 23:06:11 +00:00
36 lines
959 B
Plaintext
36 lines
959 B
Plaintext
dnl $Id$
|
|
|
|
PHP_ARG_WITH(mm,for mm support,
|
|
[ --with-mm[=DIR] Include mm support for session storage])
|
|
|
|
PHP_ARG_ENABLE(session, whether to enable session support,
|
|
[ --disable-session Disable session support], yes)
|
|
|
|
PHP_ARG_ENABLE(trans-sid,whether to enable transparent session id propagation,
|
|
[ --enable-trans-sid Enable transparent session id propagation])
|
|
|
|
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)
|
|
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" = "yes"; then
|
|
PHP_EXTENSION(session)
|
|
fi
|