mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
16 lines
419 B
Text
16 lines
419 B
Text
dnl
|
|
dnl $Id$
|
|
dnl
|
|
|
|
PHP_ARG_WITH(tux,,
|
|
[ --with-tux=MODULEDIR Build PHP as a TUX module (Linux only)], no, no)
|
|
|
|
AC_MSG_CHECKING([for TUX])
|
|
if test "$PHP_TUX" != "no"; then
|
|
INSTALL_IT="\$(INSTALL) -m 0755 $SAPI_SHARED $PHP_TUX/php7.tux.so"
|
|
AC_CHECK_HEADERS(tuxmodule.h,[:],[AC_MSG_ERROR([Cannot find tuxmodule.h])])
|
|
PHP_SELECT_SAPI(tux, shared, php_tux.c)
|
|
AC_MSG_RESULT([$PHP_TUX])
|
|
else
|
|
AC_MSG_RESULT(no)
|
|
fi
|