php-src/ext/overload/config.m4

17 lines
469 B
Plaintext
Raw Normal View History

2001-11-30 19:00:13 +00:00
dnl
dnl $Id$
2001-11-30 19:00:13 +00:00
dnl
2002-12-01 17:24:00 +00:00
2001-11-30 19:00:13 +00:00
PHP_ARG_ENABLE(overload,whether to enable user-space object overloading support,
2001-12-10 00:38:18 +00:00
[ --disable-overload Disable user-space object overloading support.], yes)
if test "$PHP_OVERLOAD" != "no"; then
2002-12-01 17:24:00 +00:00
if test -f $php_abs_top_srcdir/Zend/zend_objects.h; then
AC_MSG_CHECKING(for overload)
AC_MSG_RESULT(not needed with ZendEngine 2)
else
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
PHP_NEW_EXTENSION(overload, overload.c, $ext_shared)
fi
fi