xref: /PHP-5.6/ext/json/config.w32 (revision 7e43b4f9)
1// $Id$
2// vim:ft=javascript
3
4ARG_ENABLE("json", "JavaScript Object Serialization support", "yes");
5
6if (PHP_JSON != "no") {
7	EXTENSION('json', 'json.c', PHP_JSON_SHARED, "");
8	ADD_SOURCES(configure_module_dirname, "JSON_parser.c", "json");
9	PHP_INSTALL_HEADERS("ext/json/", "php_json.h");
10}
11
12