diff options
Diffstat (limited to 'ext/spl/config.m4')
| -rwxr-xr-x | ext/spl/config.m4 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/ext/spl/config.m4 b/ext/spl/config.m4 deleted file mode 100755 index eea8092166..0000000000 --- a/ext/spl/config.m4 +++ /dev/null @@ -1,14 +0,0 @@ -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 - if test "$ext_shared" = "yes"; then - AC_MSG_ERROR(Cannot build SPL as a shared module) - fi - 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, $ext_shared) - PHP_ADD_EXTENSION_DEP(spl, simplexml) -fi |