mirror of
https://github.com/php/php-src.git
synced 2024-10-05 08:46:11 +00:00
11 lines
302 B
Plaintext
11 lines
302 B
Plaintext
|
dnl $Id$
|
||
|
dnl config.m4 for extension overload
|
||
|
|
||
|
PHP_ARG_ENABLE(overload,for user-space object overloading support,
|
||
|
[ --enable-overload Enable user-space object overloading support])
|
||
|
|
||
|
if test "$PHP_OVERLOAD" != "no"; then
|
||
|
AC_DEFINE(HAVE_OVERLOAD, 1, [ ])
|
||
|
PHP_EXTENSION(overload, $ext_shared)
|
||
|
fi
|