From 12c3073e53487779b136d6db3e090d9d46a82dfc Mon Sep 17 00:00:00 2001 From: Jakub Jirutka Date: Mon, 1 May 2017 20:13:50 +0200 Subject: testing/php7: remove (replaced by community/php7) --- testing/php7/install-pear.patch | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 testing/php7/install-pear.patch (limited to 'testing/php7/install-pear.patch') diff --git a/testing/php7/install-pear.patch b/testing/php7/install-pear.patch deleted file mode 100644 index 18747be94b..0000000000 --- a/testing/php7/install-pear.patch +++ /dev/null @@ -1,15 +0,0 @@ ---- ./pear/Makefile.frag.orig 2013-04-12 07:02:27.041602514 +0000 -+++ ./pear/Makefile.frag 2013-04-12 07:04:09.065836822 +0000 -@@ -2,8 +2,11 @@ - - peardir=$(PEAR_INSTALLDIR) - -+# help the built php to find xml extension so we can install pear -+PEAR_INSTALL_XML_FLAGS = -d extension_dir="$(top_builddir)/modules" -d extension=xml.so -+ - # Skip all php.ini files altogether --PEAR_INSTALL_FLAGS = -n -dshort_open_tag=0 -dopen_basedir= -derror_reporting=1803 -dmemory_limit=-1 -ddetect_unicode=0 -+PEAR_INSTALL_FLAGS = -n -dshort_open_tag=0 -dopen_basedir= -derror_reporting=1803 -dmemory_limit=-1 -ddetect_unicode=0 $(PEAR_INSTALL_XML_FLAGS) - - WGET = `which wget 2>/dev/null` - FETCH = `which fetch 2>/dev/null` -- cgit v1.2.3