1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 16:22:37 +01:00

MFB: PHP_CHECK_CONFIGURE_OPTIONS

This commit is contained in:
Jani Taskinen
2007-07-11 21:47:04 +00:00
parent fb148e4953
commit 020eb987ea

View File

@@ -2608,6 +2608,53 @@ EOF
PHP_SUBST_OLD(CONFIGURE_OPTIONS)
])
dnl
dnl PHP_CHECK_CONFIGURE_OPTIONS
dnl
AC_DEFUN([PHP_CHECK_CONFIGURE_OPTIONS],[
for arg in $ac_configure_args; do
case $arg in
--with-*[)]
arg_name="`echo [$]arg | $SED -e 's/--with-//g' -e 's/=.*//g'`"
;;
--without-*[)]
arg_name="`echo [$]arg | $SED -e 's/--without-//g' -e 's/=.*//g'`"
;;
--enable-*[)]
arg_name="`echo [$]arg | $SED -e 's/--enable-//g' -e 's/=.*//g'`"
;;
--disable-*[)]
arg_name="`echo [$]arg | $SED -e 's/--disable-//g' -e 's/=.*//g'`"
;;
*[)]
continue
;;
esac
case $arg_name in
# Allow --disable-all / --enable-all
all[)];;
# Allow certain libtool options
libtool-lock | pic | tags | shared | static | fast-install | gnu-ld[)];;
# Allow certain TSRM options
tsrm-pth | tsrm-st | tsrm-pthreads[)];;
# Allow certain Zend options
zend-vm | maintainer-zts | inline-optimization | zend-multibyte[)];;
# All the rest must be set using the PHP_ARG_* macros
*[)]
is_arg_set=PHP_[]`echo [$]arg_name | tr 'abcdefghijklmnopqrstuvwxyz-' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
if eval test -z "\$$is_arg_set"; then
PHP_UNKNOWN_CONFIGURE_OPTIONS="$PHP_UNKNOWN_CONFIGURE_OPTIONS
[$]arg"
fi
;;
esac
done
])
dnl
dnl PHP_CHECK_PDO_INCLUDES([found [, not-found]])
dnl