From e9d81d22d04f6e5e4e62228f40d557e81fad61d7 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 1 Oct 2019 11:26:07 +0200 Subject: 7.4.0RC3 --- php-upstream.patch | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 php-upstream.patch (limited to 'php-upstream.patch') 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 -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 - -- cgit