1
1
PHP_ARG_WITH([ gmp] ,
2
2
[ for GNU MP support] ,
3
3
[ AS_HELP_STRING ( [ [ --with-gmp[ =DIR] ] ] ,
4
- [ Include GNU MP support. Optional DIR is the library installation directory.
5
- Also, the GMP_CFLAGS and GMP_LIBS environment variables can be used instead
6
- of the DIR argument to customize the GMP paths .] ) ] )
4
+ [ Include GNU MP support. Use PKG_CONFIG_PATH (or GMP_CFLAGS and GMP_LIBS)
5
+ environment variables, or alternatively the optional DIR argument to
6
+ customize where to look for the GNU MP library .] ) ] )
7
7
8
8
if test "$PHP_GMP" != "no"; then
9
9
gmp_found=no
@@ -20,14 +20,13 @@ if test "$PHP_GMP" != "no"; then
20
20
LIBS_SAVED=$LIBS
21
21
CFLAGS="$CFLAGS $GMP_CFLAGS"
22
22
LIBS="$LIBS $GMP_LIBS"
23
- gmp_check=
24
- AC_CHECK_HEADER ( [ gmp.h] , [ AC_CHECK_FUNC ( [ __gmpz_rootrem] , [ gmp_check=ok ] ) ] )
23
+ gmp_check=no
24
+ AC_CHECK_HEADER ( [ gmp.h] , [ AC_CHECK_FUNC ( [ __gmpz_rootrem] , [ gmp_check=yes ] ) ] )
25
25
CFLAGS=$CFLAGS_SAVED
26
26
LIBS=$LIBS_SAVED
27
27
28
- AS_VAR_IF ( [ gmp_check] , [ ok] ,, [ AC_MSG_ERROR ( [
29
- GNU MP library check failed. GNU MP Library version 4.2 or greater required.
30
- Please, check config.log for details.
28
+ AS_VAR_IF ( [ gmp_check] , [ no] , [ AC_MSG_FAILURE ( [
29
+ The required GNU MP library version 4.2 or greater not found.
31
30
] ) ] )
32
31
33
32
PHP_EVAL_LIBLINE([ $GMP_LIBS] , [ GMP_SHARED_LIBADD] )
0 commit comments