mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
dcdcb3cbfe
This replaces the AC_MSG_ERROR with AC_MSG_FAILURE, where appropriate. The AC_MSG_ERROR outputs given message and exits the configure step. The AC_MSG_FAILURE does the same but also automatically outputs additional message "See 'config.log' for more details." which might help directing the user where to look further. The AC_MSG_ERROR is used for errors where current test step isn't logged in the config.log and wouldn't make sense, and AC_MSG_FAILURE is mostly used in cases of library checks, compilation tests, headers checked with AC_CHECK_HEADER* and similar tests that are also logged in the config.log. AC_MSG_ERROR([Sanity check failed.]) output: ``` configure: error: Sanity check failed. ``` AC_MSG_FAILURE([Sanity check failed.]) output: ``` configure: error: in '/path/to/php-src': configure: error: Sanity check failed. See 'config.log' for more details ```
39 lines
1.0 KiB
Plaintext
39 lines
1.0 KiB
Plaintext
PHP_ARG_WITH([gmp],
|
|
[for GNU MP support],
|
|
[AS_HELP_STRING([[--with-gmp[=DIR]]],
|
|
[Include GNU MP support])])
|
|
|
|
if test "$PHP_GMP" != "no"; then
|
|
if test "$PHP_GMP" = "yes"; then
|
|
PHP_CHECK_LIBRARY([gmp], [__gmpz_rootrem],
|
|
[],
|
|
[AC_MSG_FAILURE([GNU MP Library version 4.2 or greater required.])])
|
|
|
|
PHP_ADD_LIBRARY([gmp],, [GMP_SHARED_LIBADD])
|
|
else
|
|
if test ! -f $PHP_GMP/include/gmp.h; then
|
|
AC_MSG_ERROR([Unable to locate gmp.h])
|
|
fi
|
|
|
|
PHP_CHECK_LIBRARY([gmp], [__gmpz_rootrem],
|
|
[],
|
|
[AC_MSG_FAILURE([GNU MP Library version 4.2 or greater required.])],
|
|
[-L$PHP_GMP/$PHP_LIBDIR])
|
|
|
|
PHP_ADD_LIBRARY_WITH_PATH([gmp],
|
|
[$PHP_GMP/$PHP_LIBDIR],
|
|
[GMP_SHARED_LIBADD])
|
|
PHP_ADD_INCLUDE([$PHP_GMP/include])
|
|
fi
|
|
|
|
PHP_INSTALL_HEADERS([ext/gmp], [php_gmp_int.h])
|
|
|
|
PHP_NEW_EXTENSION([gmp],
|
|
[gmp.c],
|
|
[$ext_shared],,
|
|
[-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1])
|
|
PHP_SUBST([GMP_SHARED_LIBADD])
|
|
AC_DEFINE([HAVE_GMP], [1],
|
|
[Define to 1 if the PHP extension 'gmp' is available.])
|
|
fi
|