- SPL can no longer be disabld as discussed some time ago (checked back with RM)

diff --git a/ext/spl/config.m4 b/ext/spl/config.m4
index a21d91958aaac40a1fe59f05f929274bece36bb4..431b337b6bb884cee5ea1b380c44695e1f8badb5 100755 (executable)
--- a/ext/spl/config.m4
+++ b/ext/spl/config.m4
@@ -1,10 +1,6 @@
 dnl $Id$
 dnl config.m4 for extension SPL
 
-PHP_ARG_ENABLE(spl, enable SPL suppport,
-[  --disable-spl           Disable Standard PHP Library], yes)
-
-if test "$PHP_SPL" != "no"; then
   AC_MSG_CHECKING(whether zend_object_value is packed)
   old_CPPFLAGS=$CPPFLAGS
   CPPFLAGS="$INCLUDES -I$abs_srcdir $CPPFLAGS"
@@ -32,4 +28,3 @@ int main(int argc, char **argv) {
   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 spl_dllist.c spl_heap.c, no)
   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_sxe.h spl_dllist.h spl_heap.h])
   PHP_ADD_EXTENSION_DEP(spl, pcre, true)
-fi