mirror of
https://github.com/php/php-src.git
synced 2024-09-26 20:37:29 +00:00
parent
ad6333654e
commit
38f5812191
@ -1,11 +1,16 @@
|
||||
dnl
|
||||
dnl $Id$
|
||||
dnl
|
||||
|
||||
PHP_ARG_ENABLE(overload,whether to enable user-space object overloading support,
|
||||
[ --disable-overload Disable user-space object overloading support.], yes)
|
||||
|
||||
|
||||
if test "$PHP_OVERLOAD" != "no"; then
|
||||
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
||||
PHP_NEW_EXTENSION(overload, overload.c, $ext_shared)
|
||||
AC_CHECK_FILE([Zend/zend_objects.h], [
|
||||
AC_MSG_CHECKING(for overload)
|
||||
AC_MSG_RESULT(not needed with ZendEngine 2)
|
||||
], [
|
||||
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
||||
PHP_NEW_EXTENSION(overload, overload.c, $ext_shared)
|
||||
])
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user