- MFH 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 e049accbaf16ca7e7c7256114ff57417fa4fe114..4e5ba12b676193e998cd59487e0c289e2390c3e5 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"
@@ -29,4 +25,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