php-src/ext/session/config.m4

34 lines
853 B
Plaintext
Raw Normal View History

2001-11-30 19:00:13 +00:00
dnl
1999-06-05 19:52:58 +00:00
dnl $Id$
2001-11-30 19:00:13 +00:00
dnl
2002-05-04 16:48:48 +00:00
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
2001-05-12 11:09:05 +00:00
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