1PHP_ARG_ENABLE([filter], 2 [whether to enable input filter support], 3 [AS_HELP_STRING([--disable-filter], 4 [Disable input filter support])], 5 [yes]) 6 7if test "$PHP_FILTER" != "no"; then 8 PHP_NEW_EXTENSION(filter, filter.c sanitizing_filters.c logical_filters.c callback_filter.c, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) 9 PHP_SUBST(FILTER_SHARED_LIBADD) 10 11 PHP_INSTALL_HEADERS([ext/filter/php_filter.h]) 12 PHP_ADD_EXTENSION_DEP(filter, pcre) 13fi 14
