diff options
Diffstat (limited to 'php-upstream.patch')
| -rw-r--r-- | php-upstream.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/php-upstream.patch b/php-upstream.patch new file mode 100644 index 0000000..f75d8d9 --- /dev/null +++ b/php-upstream.patch @@ -0,0 +1,26 @@ +From dc40332bb2276553ea10bca574f03a8dc9bea53d Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@php.net> +Date: Fri, 20 Sep 2019 13:30:13 +0200 +Subject: [PATCH] Fixed bug #78574 (broken shared build) + +--- + NEWS | 3 +++ + ext/gmp/config.m4 | 2 +- + 2 files changed, 4 insertions(+), 1 deletion(-) + +diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 +index aa4936b3c3..fa55751cf1 100644 +--- a/ext/gmp/config.m4 ++++ b/ext/gmp/config.m4 +@@ -10,7 +10,7 @@ if test "$PHP_GMP" != "no"; then + AC_MSG_ERROR([GNU MP Library version 4.2 or greater required.]) + ]) + +- PHP_ADD_LIBRARY(gmp, GMP_SHARED_LIBADD) ++ PHP_ADD_LIBRARY(gmp,,GMP_SHARED_LIBADD) + else + if test ! -f $PHP_GMP/include/gmp.h; then + AC_MSG_ERROR(Unable to locate gmp.h) +-- +2.11.0 + |