diff options
| -rw-r--r-- | NEWS | 4 | ||||
| -rw-r--r-- | ext/gmp/config.m4 | 3 |
2 files changed, 7 insertions, 0 deletions
@@ -12,6 +12,10 @@ PHP NEWS . Fixed bug #67583 (double fastcgi_end_request on max_children limit). (Dmitry Saprykin) +- GMP: + . Fixed bug #69993 (test for gmp.h needs to test machine includes). + (Jordan Gigov) + - Mysqlnd: . Fixed bug #69899 (segfault on close() after free_result() with mysqlnd). (Richard Fussenegger) diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 index 8265fb8dfa..22cca7eaf2 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -3,8 +3,11 @@ PHP_ARG_WITH(gmp, for GNU MP support, if test "$PHP_GMP" != "no"; then + MACHINE_INCLUDES=$($CC -dumpmachine) + for i in $PHP_GMP /usr/local /usr; do test -f $i/include/gmp.h && GMP_DIR=$i && break + test -f $i/include/$MACHINE_INCLUDES/gmp.h && GMP_DIR=$i && break done if test -z "$GMP_DIR"; then |