xref: /php-src/ext/filter/config.m4 (revision 1ceadaed)
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],
9    [filter.c sanitizing_filters.c logical_filters.c callback_filter.c],
10    [$ext_shared],,
11    [-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1])
12
13  PHP_INSTALL_HEADERS([ext/filter], [php_filter.h])
14  PHP_ADD_EXTENSION_DEP(filter, pcre)
15fi
16