File php-date-regenerate-lexers.patch of Package php8
Index: php-8.4.1/ext/date/config0.m4
===================================================================
--- php-8.4.1.orig/ext/date/config0.m4
+++ php-8.4.1/ext/date/config0.m4
@@ -30,6 +30,8 @@ PHP_NEW_EXTENSION([date],
[no],,
[$PHP_DATE_CFLAGS])
+PHP_ADD_MAKEFILE_FRAGMENT()
+
PHP_ADD_BUILD_DIR([$ext_builddir/lib], [1])
PHP_ADD_INCLUDE([$ext_builddir/lib])
PHP_ADD_INCLUDE([$ext_srcdir/lib])
Index: php-8.4.1/ext/date/Makefile.frag
===================================================================
--- /dev/null
+++ php-8.4.1/ext/date/Makefile.frag
@@ -0,0 +1,6 @@
+$(srcdir)/lib/parse_date.c: $(srcdir)/lib/parse_date.re
+ @(cd $(top_srcdir); $(RE2C) $(RE2C_FLAGS) -b --no-generation-date -o ext/date/lib/parse_date.c ext/date/lib/parse_date.re)
+
+$(srcdir)/lib/parse_iso_intervals.c: $(srcdir)/lib/parse_iso_intervals.re
+ @(cd $(top_srcdir); $(RE2C) $(RE2C_FLAGS) -b --no-generation-date -o ext/date/lib/parse_iso_intervals.c ext/date/lib/parse_iso_intervals.re)
+