xref: /PHP-7.1/ext/filter/config.w32 (revision 0e7682c6)
1// $Id$
2// vim:ft=javascript
3
4ARG_ENABLE("filter", "Filter Support", "yes");
5
6if (PHP_FILTER == "yes") {
7	EXTENSION("filter", "filter.c sanitizing_filters.c logical_filters.c callback_filter.c", PHP_FILTER_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
8	PHP_INSTALL_HEADERS("ext/filter", "php_filter.h");
9}
10