php-src/ext/json/config.w32

12 lines
362 B
Plaintext
Raw Normal View History

2005-12-06 06:23:24 +00:00
// $Id$
// vim:ft=javascript
2006-07-22 15:32:17 +00:00
ARG_ENABLE("json", "JavaScript Object Serialization support", "yes");
2005-12-06 06:23:24 +00:00
if (PHP_JSON != "no") {
EXTENSION('json', 'json.c', PHP_JSON_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
ADD_SOURCES(configure_module_dirname, "json_encoder.c json_parser.tab.c json_scanner.c", "json");
PHP_INSTALL_HEADERS("ext/json/", "php_json.h");
2005-12-06 06:23:24 +00:00
}