PHP_ARG_ENABLE(, whether to enable support, [ --enable- Enable support]) if test "$PHP_" != "no"; then PHP__SRCDIR=PHP_EXT_SRCDIR() PHP__BUILDDIR=PHP_EXT_BUILDDIR() PHP_ADD_INCLUDE($PHP__SRCDIR/src) PHP_ADD_BUILD_DIR($PHP__BUILDDIR/src) PHP__HEADERS=`(cd $PHP__SRCDIR/src && echo *.h)` PHP__SOURCES=`(cd $PHP__SRCDIR && echo src/*.c)` PHP_NEW_EXTENSION(, $PHP__SOURCES, $ext_shared) PHP_INSTALL_HEADERS(ext/, php_.h $PHP__HEADERS) PHP_SUBST(PHP__HEADERS) PHP_SUBST(PHP__SOURCES) PHP_SUBST(PHP__SRCDIR) PHP_SUBST(PHP__BUILDDIR) PHP_ADD_MAKEFILE_FRAGMENT fi