php-src/ext/json/config.w32

12 lines
323 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, "");
ADD_SOURCES(configure_module_dirname, "JSON_parser.c utf8_decode.c utf8_to_utf16.c", "json");
PHP_INSTALL_HEADERS("ext/json/", "php_json.h");
2005-12-06 06:23:24 +00:00
}