2001-11-30 19:00:13 +00:00
|
|
|
dnl
|
2001-10-15 20:32:56 +00:00
|
|
|
dnl $Id$
|
2001-11-30 19:00:13 +00:00
|
|
|
dnl
|
2001-10-15 20:32:56 +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)
|
2001-10-15 20:32:56 +00:00
|
|
|
|
|
|
|
|
if test "$PHP_OVERLOAD" != "no"; then
|
|
|
|
|
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
2002-03-12 16:44:00 +00:00
|
|
|
PHP_NEW_EXTENSION(overload, overload.c, $ext_shared)
|
2001-10-15 20:32:56 +00:00
|
|
|
fi
|
