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