mirror of
https://github.com/php/php-src.git
synced 2026-04-28 02:33:17 +02:00
Peter Kokot
a04577fb4a
The embed SAPI has been around for quite a while now, and many apps already use it in production. It can be marked as non experimental to avoid confusion. [skip ci]
35 lines
1.0 KiB
Plaintext
35 lines
1.0 KiB
Plaintext
PHP_ARG_ENABLE([embed],,
|
|
[AS_HELP_STRING([[--enable-embed[=TYPE]]],
|
|
[Enable building of embedded SAPI library TYPE is either
|
|
'shared' or 'static'. [TYPE=shared]])],
|
|
[no],
|
|
[no])
|
|
|
|
AC_MSG_CHECKING([for embedded SAPI library support])
|
|
|
|
if test "$PHP_EMBED" != "no"; then
|
|
case "$PHP_EMBED" in
|
|
yes|shared)
|
|
LIBPHP_CFLAGS="-shared"
|
|
PHP_EMBED_TYPE=shared
|
|
INSTALL_IT="\$(mkinstalldirs) \$(INSTALL_ROOT)\$(prefix)/lib; \$(INSTALL) -m 0755 $SAPI_SHARED \$(INSTALL_ROOT)\$(prefix)/lib"
|
|
;;
|
|
static)
|
|
LIBPHP_CFLAGS="-static"
|
|
PHP_EMBED_TYPE=static
|
|
INSTALL_IT="\$(mkinstalldirs) \$(INSTALL_ROOT)\$(prefix)/lib; \$(INSTALL) -m 0644 $SAPI_STATIC \$(INSTALL_ROOT)\$(prefix)/lib"
|
|
;;
|
|
*)
|
|
PHP_EMBED_TYPE=no
|
|
;;
|
|
esac
|
|
if test "$PHP_EMBED_TYPE" != "no"; then
|
|
PHP_SUBST(LIBPHP_CFLAGS)
|
|
PHP_SELECT_SAPI(embed, $PHP_EMBED_TYPE, php_embed.c, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
|
|
PHP_INSTALL_HEADERS([sapi/embed], [php_embed.h])
|
|
fi
|
|
AC_MSG_RESULT([$PHP_EMBED_TYPE])
|
|
else
|
|
AC_MSG_RESULT(no)
|
|
fi
|