mirror of
https://github.com/php/php-src.git
synced 2024-10-21 00:12:34 +00:00
20 lines
379 B
Plaintext
20 lines
379 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/php4.tux.so"
|
|
AC_CHECK_HEADERS(tuxmodule.h,[:],[AC_MSG_ERROR([Cannot find tuxmodule.h])])
|
|
PHP_BUILD_SHARED
|
|
PHP_SAPI=tux
|
|
PHP_TUX=yes
|
|
])
|
|
|
|
AC_MSG_CHECKING(for TUX)
|
|
AC_MSG_RESULT($PHP_TUX)
|
|
|
|
unset PHP_TUX
|