diff options
Diffstat (limited to 'ext/session/config.w32')
| -rw-r--r-- | ext/session/config.w32 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ext/session/config.w32 b/ext/session/config.w32 new file mode 100644 index 0000000..c8b217a --- /dev/null +++ b/ext/session/config.w32 @@ -0,0 +1,10 @@ +// $Id$ +// vim:ft=javascript + +ARG_ENABLE("session", "session support", "yes"); + +if (PHP_SESSION == "yes") { + EXTENSION("session", "mod_user_class.c session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */); + AC_DEFINE("HAVE_PHP_SESSION", 1, "Session support"); + PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h php_session.h mod_files.h mod_user.h"); +} |