php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Return to Bug #69993
Patch gmp-h-find-fix revision 2015-07-04 01:24 UTC by mah at everybody dot org

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

Patch version 2015-07-04 01:24 UTC

Return to Bug #69993 | Download this patch
Patch Revisions:

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
 
PHP Copyright © 2001-2018 The PHP Group
All rights reserved.
Last updated: Sun Jul 22 12:07:09 2018 UTC