spl-shared.patch

   1 --- php-src-PHP-7.4/ext/spl/config.m4~  2019-05-25 12:37:30.000000000 +0300
   2 +++ php-src-PHP-7.4/ext/spl/config.m4   2019-05-26 10:12:09.893194716 +0300
   3 @@ -1,3 +1,3 @@
   4 -PHP_NEW_EXTENSION(spl, php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c spl_exceptions.c spl_observer.c spl_dllist.c spl_heap.c spl_fixedarray.c, no,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
   5 +PHP_NEW_EXTENSION(spl, php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c spl_exceptions.c spl_observer.c spl_dllist.c spl_heap.c spl_fixedarray.c, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
   6  PHP_INSTALL_HEADERS([ext/spl], [php_spl.h spl_array.h spl_directory.h spl_engine.h spl_exceptions.h spl_functions.h spl_iterators.h spl_observer.h spl_dllist.h spl_heap.h spl_fixedarray.h])
   7  PHP_ADD_EXTENSION_DEP(spl, pcre, true)
   8 --- php-7.1.0alpha1/ext/pdo/pdo.c~      2016-06-07 23:56:47.000000000 +0300
   9 +++ php-7.1.0alpha1/ext/pdo/pdo.c       2016-06-13 23:24:51.238259131 +0300
  10 @@ -117,7 +117,9 @@
  11
  12  /* {{{ pdo_functions[] */
  13  static const zend_module_dep pdo_deps[] = {
  14 +#ifdef HAVE_SPL && !COMPILE_DL_SPL
  15         ZEND_MOD_REQUIRED("spl")
  16 +#endif
  17         ZEND_MOD_END
  18  };
  19  /* }}} */
  20 --- php-5.3.1/ext/phar/Makefile.frag~   2009-07-23 15:48:04.000000000 +0000
  21 +++ php-5.3.1/ext/phar/Makefile.frag    2009-11-30 16:10:29.687175948 +0000
  22 @@ -10,7 +10,7 @@
  23                 $(top_srcdir)/build/shtool echo -n -- "$(top_builddir)/$(SAPI_CLI_PATH) -n"; \
  24                 if test "x$(PHP_MODULES)" != "x"; then \
  25                 $(top_srcdir)/build/shtool echo -n -- " -d extension_dir=$(top_builddir)/modules"; \
  26 -               for i in bz2 zlib phar; do \
  27 +               for i in spl bz2 zlib phar; do \
  28                         if test -f "$(top_builddir)/modules/$$i.la"; then \
  29                                 . $(top_builddir)/modules/$$i.la; $(top_srcdir)/build/shtool echo -n -- " -d extension=$$dlname"; \
  30                         fi; \