mirror of
https://github.com/php/php-src.git
synced 2024-11-29 12:53:37 +08:00
19 lines
387 B
Plaintext
19 lines
387 B
Plaintext
dnl
|
|
dnl $Id$
|
|
dnl
|
|
|
|
PHP_TUX=no
|
|
|
|
AC_ARG_WITH(tux,
|
|
[ --with-tux=MODULEDIR Build PHP as a TUX module (Linux only)],[
|
|
INSTALL_IT="\$(INSTALL) -m 0755 $SAPI_SHARED $withval/php5.tux.so"
|
|
AC_CHECK_HEADERS(tuxmodule.h,[:],[AC_MSG_ERROR([Cannot find tuxmodule.h])])
|
|
PHP_SELECT_SAPI(tux, shared, php_tux.c)
|
|
PHP_TUX=yes
|
|
])
|
|
|
|
AC_MSG_CHECKING(for TUX)
|
|
AC_MSG_RESULT($PHP_TUX)
|
|
|
|
unset PHP_TUX
|