Patch gmp-h-find-fix for GNU MP related Bug #69993

Patch version 2015-07-04 01:24 UTC

• 2015-07-04 01:24 UTC [diff to current]

Developer: mah@everybody.org

diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4
index 8265fb8..3a3010e 100644
--- a/ext/gmp/config.m4
+++ b/ext/gmp/config.m4
@@ -4,7 +4,7 @@ PHP_ARG_WITH(gmp, for GNU MP support,
 if test "$PHP_GMP" != "no"; then
 
   for i in $PHP_GMP /usr/local /usr; do
-    test -f $i/include/gmp.h && GMP_DIR=$i && break
+    test -f $i/include/gmp.h -o -f $i/gmp.h && GMP_DIR=$i && break
   done
 
   if test -z "$GMP_DIR"; then