summaryrefslogtreecommitdiff
path: root/ext/json
diff options
context:
space:
mode:
authorcodinghuang <2812240764@qq.com>2020-07-10 11:13:16 +0200
committerChristoph M. Becker <cmbecker69@gmx.de>2020-07-10 23:32:01 +0200
commit7817ff8ce17382c5b080ee15295ccfb2f99de09d (patch)
tree0c8060d119cb056e2e7b54274bc359ebbc240967 /ext/json
parent95cff3ebf27e90140d3c9dca357658a681ca1f73 (diff)
downloadphp-git-7817ff8ce17382c5b080ee15295ccfb2f99de09d.tar.gz
Don't generate JSON scanner and parser during configure
Diffstat (limited to 'ext/json')
-rw-r--r--ext/json/config.w329
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();