diff options
| -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(); |