diff options
| author | Marcus Boerger <helly@php.net> | 2008-04-09 21:53:00 +0000 |
|---|---|---|
| committer | Marcus Boerger <helly@php.net> | 2008-04-09 21:53:00 +0000 |
| commit | 26f7d6e48b7a06317f8018cc83d3336191f439b9 (patch) | |
| tree | 92d15f83397c2588be71db8365fc0a1bfed98d45 | |
| parent | 6f20cea6d80064974f0b925a6fb3a0ac5f951c89 (diff) | |
| download | php-git-26f7d6e48b7a06317f8018cc83d3336191f439b9.tar.gz | |
- MFH SPL can no longer be disabld as discussed some time ago (checked back with RM)
| -rwxr-xr-x | ext/spl/config.m4 | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ext/spl/config.m4 b/ext/spl/config.m4 index e049accbaf..4e5ba12b67 100755 --- 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 |