mirror of
https://github.com/php/php-src.git
synced 2025-08-18 06:58:55 +02:00
configure dependency has to be optional as well
This commit is contained in:
parent
69dba3c996
commit
ae340374b2
1 changed files with 1 additions and 1 deletions
|
@ -12,7 +12,7 @@ if test "$PHP_SESSION" != "no"; then
|
||||||
PHP_PWRITE_TEST
|
PHP_PWRITE_TEST
|
||||||
PHP_PREAD_TEST
|
PHP_PREAD_TEST
|
||||||
PHP_NEW_EXTENSION(session, session.c mod_files.c mod_mm.c mod_user.c, $ext_shared)
|
PHP_NEW_EXTENSION(session, session.c mod_files.c mod_mm.c mod_user.c, $ext_shared)
|
||||||
PHP_ADD_EXTENSION_DEP(session, hash)
|
PHP_ADD_EXTENSION_DEP(session, hash, true)
|
||||||
PHP_SUBST(SESSION_SHARED_LIBADD)
|
PHP_SUBST(SESSION_SHARED_LIBADD)
|
||||||
PHP_INSTALL_HEADERS(ext/session, [php_session.h mod_files.h mod_user.h])
|
PHP_INSTALL_HEADERS(ext/session, [php_session.h mod_files.h mod_user.h])
|
||||||
AC_DEFINE(HAVE_PHP_SESSION,1,[ ])
|
AC_DEFINE(HAVE_PHP_SESSION,1,[ ])
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue