diff options
author | codinghuang <2812240764@qq.com> | 2020-07-10 11:13:16 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-07-10 23:32:01 +0200 |
commit | 7817ff8ce17382c5b080ee15295ccfb2f99de09d (patch) | |
tree | 0c8060d119cb056e2e7b54274bc359ebbc240967 /ext/json | |
parent | 95cff3ebf27e90140d3c9dca357658a681ca1f73 (diff) | |
download | php-git-7817ff8ce17382c5b080ee15295ccfb2f99de09d.tar.gz |
Don't generate JSON scanner and parser during configure
Diffstat (limited to 'ext/json')
-rw-r--r-- | ext/json/config.w32 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/ext/json/config.w32 b/ext/json/config.w32 index e54a9caaf5..9d7881118d 100644 --- a/ext/json/config.w32 +++ b/ext/json/config.w32 @@ -2,15 +2,6 @@ EXTENSION('json', 'json.c', false /* never shared */, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); -if (!FSO.FileExists("ext/json/json_scanner.c")) { - STDOUT.WriteLine("Generating ext/json/json_scanner.c"); - STDOUT.WriteLine(execute(PATH_PROG("re2c") + " -t ext/json/php_json_scanner_defs.h --no-generation-date -bci -o ext/json/json_scanner.c ext/json/json_scanner.re")); -} -if (!FSO.FileExists("ext/json/json_parser.tab.c")) { - STDOUT.WriteLine("Generating ext/json/json_parser.tab.c"); - STDOUT.WriteLine(execute(PATH_PROG("bison") + " --defines -l ext/json/json_parser.y -o ext/json/json_parser.tab.c")); -} - ADD_SOURCES(configure_module_dirname, "json_encoder.c json_parser.tab.c json_scanner.c", "json"); ADD_MAKEFILE_FRAGMENT(); |