PHP_ARG_ENABLE([filter],
  [whether to enable input filter support],
  [AS_HELP_STRING([--disable-filter],
    [Disable input filter support])],
  [yes])

if test "$PHP_FILTER" != "no"; then
  PHP_NEW_EXTENSION(filter, filter.c sanitizing_filters.c logical_filters.c callback_filter.c, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
  PHP_SUBST(FILTER_SHARED_LIBADD)

  PHP_INSTALL_HEADERS([ext/filter/php_filter.h])
  PHP_ADD_EXTENSION_DEP(filter, pcre)
fi
