Install SPL headers.

diff --git a/ext/spl/config.m4 b/ext/spl/config.m4
index 1fdcbe97bb85d7af505dea19845d6e5a3d616baa..2ddf4588802723f581358f7eff68868647ec6989 100755 (executable)
--- a/ext/spl/config.m4
+++ b/ext/spl/config.m4
@@ -26,6 +26,7 @@ int main(int argc, char **argv) {
   else
     AC_MSG_RESULT(no)
   fi
+  PHP_INSTALL_HEADERS([ext/spl/])
   AC_DEFINE_UNQUOTED(HAVE_PACKED_OBJECT_VALUE, $ac_result, [Whether struct _zend_object_value is packed])
   AC_DEFINE(HAVE_SPL, 1, [Whether you want SPL (Standard PHP Library) support]) 
   PHP_NEW_EXTENSION(spl, php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c spl_sxe.c spl_exceptions.c spl_observer.c, no)