diff options
author | Yordan Gigov <jgigov@abv.bg> | 2016-08-12 17:52:18 +0300 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2017-01-14 14:13:15 +0100 |
commit | 60aff0bd30197a4fd898904a45f1677e333a6dda (patch) | |
tree | b6edd5c8be8842980685b67e4259a8a34977a1b4 | |
parent | fbf655afbd1cc5b5a9c9e03405c62ae714425435 (diff) | |
download | php-git-60aff0bd30197a4fd898904a45f1677e333a6dda.tar.gz |
Fixed bug #69993
-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 |