diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-10-24 15:31:10 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-10-24 15:36:05 +0200 |
commit | 560970138915791fe29380c8f31a7ec18379b00f (patch) | |
tree | 9b2f568a40d6900cf989176c6417223a1cf99e5a /ext/json | |
parent | 158d3081975a1335c32a9fcd56a6ca9c947821e7 (diff) | |
download | php-git-560970138915791fe29380c8f31a7ec18379b00f.tar.gz |
Define config var PHP_JSON
Otherwise, `ADD_EXTENSION_DEP('foo', 'json')` fails, even though the
JSON extension is available.
Diffstat (limited to 'ext/json')
-rw-r--r-- | ext/json/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/json/config.w32 b/ext/json/config.w32 index 9d7881118d..255f278772 100644 --- a/ext/json/config.w32 +++ b/ext/json/config.w32 @@ -1,7 +1,7 @@ // vim:ft=javascript EXTENSION('json', 'json.c', false /* never shared */, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); - +PHP_JSON="yes"; ADD_SOURCES(configure_module_dirname, "json_encoder.c json_parser.tab.c json_scanner.c", "json"); ADD_MAKEFILE_FRAGMENT(); |