File php7-honor-re2c-flags.patch of Package php7

Index: php-7.2.12/ext/standard/Makefile.frag
===================================================================
--- php-7.2.12.orig/ext/standard/Makefile.frag	2018-11-09 16:40:29.246599404 +0100
+++ php-7.2.12/ext/standard/Makefile.frag	2018-11-09 16:41:11.494789053 +0100
@@ -1,8 +1,8 @@
 $(srcdir)/var_unserializer.c: $(srcdir)/var_unserializer.re
-	@(cd $(top_srcdir); $(RE2C) --no-generation-date -b -o ext/standard/var_unserializer.c ext/standard/var_unserializer.re)
+	@(cd $(top_srcdir); $(RE2C) $(RE2C_FLAGS) --no-generation-date -b -o ext/standard/var_unserializer.c ext/standard/var_unserializer.re)
 
 $(srcdir)/url_scanner_ex.c: $(srcdir)/url_scanner_ex.re
-	@(cd $(top_srcdir); $(RE2C) --no-generation-date -b -o ext/standard/url_scanner_ex.c	ext/standard/url_scanner_ex.re)
+	@(cd $(top_srcdir); $(RE2C) $(RE2C_FLAGS) --no-generation-date -b -o ext/standard/url_scanner_ex.c	ext/standard/url_scanner_ex.re)
 
 $(builddir)/info.lo: $(builddir)/../../main/build-defs.h
 
Index: php-7.2.12/ext/json/Makefile.frag
===================================================================
--- php-7.2.12.orig/ext/json/Makefile.frag	2018-11-06 11:48:42.000000000 +0100
+++ php-7.2.12/ext/json/Makefile.frag	2018-11-09 16:40:29.246599404 +0100
@@ -1,5 +1,5 @@
 $(srcdir)/json_scanner.c: $(srcdir)/json_scanner.re
-	$(RE2C) -t $(srcdir)/php_json_scanner_defs.h --no-generation-date -bci -o $@ $(srcdir)/json_scanner.re
+	$(RE2C) $(RE2C_FLAGS) -t $(srcdir)/php_json_scanner_defs.h --no-generation-date -bci -o $@ $(srcdir)/json_scanner.re
 
 $(srcdir)/json_parser.tab.c: $(srcdir)/json_parser.y
 	$(YACC) --defines -l $(srcdir)/json_parser.y -o $@
Index: php-7.2.12/ext/phar/Makefile.frag
===================================================================
--- php-7.2.12.orig/ext/phar/Makefile.frag	2018-11-06 11:48:37.000000000 +0100
+++ php-7.2.12/ext/phar/Makefile.frag	2018-11-09 16:40:29.246599404 +0100
@@ -1,9 +1,9 @@
 $(srcdir)/phar_path_check.c: $(srcdir)/phar_path_check.re
 	@(cd $(top_srcdir); \
 	if test -f ./php_phar.h; then \
-		$(RE2C) --no-generation-date -b -o phar_path_check.c phar_path_check.re; \
+		$(RE2C) $(RE2C_FLAGS) --no-generation-date -b -o phar_path_check.c phar_path_check.re; \
 	else \
-		$(RE2C) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re; \
+		$(RE2C) $(RE2C_FLAGS) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re; \
 	fi)
 
 pharcmd: $(builddir)/phar.php $(builddir)/phar.phar
Index: php-7.2.12/ext/pdo/Makefile.frag
===================================================================
--- php-7.2.12.orig/ext/pdo/Makefile.frag	2018-11-06 11:48:38.000000000 +0100
+++ php-7.2.12/ext/pdo/Makefile.frag	2018-11-09 16:40:29.246599404 +0100
@@ -9,9 +9,9 @@ PDO_HEADER_FILES= \
 $(srcdir)/pdo_sql_parser.c: $(srcdir)/pdo_sql_parser.re
 	@(cd $(top_srcdir); \
 	if test -f ./pdo_sql_parser.re; then \
-		$(RE2C) --no-generation-date -o pdo_sql_parser.c pdo_sql_parser.re; \
+		$(RE2C) $(RE2C_FLAGS) --no-generation-date -o pdo_sql_parser.c pdo_sql_parser.re; \
 	else \
-		$(RE2C) --no-generation-date -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re; \
+		$(RE2C) $(RE2C_FLAGS) --no-generation-date -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re; \
 	fi)
 
 install-pdo-headers: