php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-24 16:38:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

Don't generate JSON scanner and parser during configure

Browse Source
This commit is contained in:
codinghuang
2020-07-10 11:13:16 +02:00
committed by Christoph M. Becker
parent 95cff3ebf2
commit 7817ff8ce1
1 changed files with 0 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ext/json/config.w32
-9
View File
@@ -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();