diff options
Diffstat (limited to 'ext/json/config.w32')
| -rw-r--r-- | ext/json/config.w32 | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/ext/json/config.w32 b/ext/json/config.w32 index a6c54e654f..996b86829d 100644 --- a/ext/json/config.w32 +++ b/ext/json/config.w32 @@ -4,13 +4,8 @@ ARG_ENABLE("json", "JavaScript Object Serialization support", "yes"); if (PHP_JSON != "no") { - EXTENSION('json', 'json.c', PHP_JSON_SHARED, ""); - PHP_NEW_EXTENSION(json, - json.c \ - json_encoder.c \ - json_parser.tab.c \ - json_scanner.c, - $ext_shared) + 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"); } |