PHP_ARG_ENABLE(pipi, whether to enable Libpipi support, [ --enable-pipi Enable Libpipi support]) if test "$PHP_PIPI" = "yes"; then AC_CHECK_LIB(pipi, pipi_get_version, [ PHP_ADD_LIBRARY(pipi,, PIPI_SHARED_LIBADD) ], [ AC_MSG_ERROR(libpipi required !) ]) PHP_NEW_EXTENSION(pipi, php_pipi.c, $ext_shared,,) PHP_SUBST(PIPI_SHARED_LIBADD) fi