File php-date-regenerate-lexers.patch of Package php8

Index: php-8.5.0RC4/ext/date/config0.m4
===================================================================
--- php-8.5.0RC4.orig/ext/date/config0.m4
+++ php-8.5.0RC4/ext/date/config0.m4
@@ -37,6 +37,8 @@ PHP_NEW_EXTENSION([date],
 
 PHP_ADD_SOURCES([$ext_dir], [$timelib_sources], [$PHP_TIMELIB_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.5.0RC4/ext/date/Makefile.frag
===================================================================
--- /dev/null
+++ php-8.5.0RC4/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)
+