version 1.1.1.1, 2012/02/21 23:47:57
|
version 1.1.1.2, 2012/05/29 12:34:40
|
Line 6 ARG_ENABLE("json", "JavaScript Object Serialization su
|
Line 6 ARG_ENABLE("json", "JavaScript Object Serialization su
|
if (PHP_JSON != "no") { |
if (PHP_JSON != "no") { |
EXTENSION('json', 'json.c', PHP_JSON_SHARED, ""); |
EXTENSION('json', 'json.c', PHP_JSON_SHARED, ""); |
ADD_SOURCES(configure_module_dirname, "JSON_parser.c utf8_decode.c utf8_to_utf16.c", "json"); |
ADD_SOURCES(configure_module_dirname, "JSON_parser.c utf8_decode.c utf8_to_utf16.c", "json"); |
|
PHP_INSTALL_HEADERS("ext/json/", "php_json.h"); |
} |
} |
|
|