gmp patch

Author: extrowerk

ext/gmp/config.m4

@@ -8,6 +8,7 @@ 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/$MACHINE_INCLUDES/gmp.h && GMP_DIR=$i && break
+    test -f $i/develop/headers/gmp.h && GMP_DIR=$i && break
   done
 
   if test -z "$GMP_DIR"; then