diff options
Diffstat (limited to 'php-upstream.patch')
| -rw-r--r-- | php-upstream.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/php-upstream.patch b/php-upstream.patch deleted file mode 100644 index f75d8d9..0000000 --- a/php-upstream.patch +++ /dev/null @@ -1,26 +0,0 @@ -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 - |