From d15b114d16b446eea7113a982021c7b03c387b50 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Wed, 30 Aug 2017 11:21:43 +0200
Subject: PHP 7.2.0RC1

---
 php-7.0.0-includedir.patch | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 php-7.0.0-includedir.patch

(limited to 'php-7.0.0-includedir.patch')

diff --git a/php-7.0.0-includedir.patch b/php-7.0.0-includedir.patch
deleted file mode 100644
index 2822c3f..0000000
--- a/php-7.0.0-includedir.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- php-7.0.0/configure.in.includedir
-+++ php-7.0.0/configure.in
-@@ -1245,7 +1245,7 @@
- EXPANDED_DATADIR=$datadir
- EXPANDED_PHP_CONFIG_FILE_PATH=`eval echo "$PHP_CONFIG_FILE_PATH"`
- EXPANDED_PHP_CONFIG_FILE_SCAN_DIR=`eval echo "$PHP_CONFIG_FILE_SCAN_DIR"`
--INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR
-+INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR:${EXPANDED_DATADIR}/php
- 
- exec_prefix=$old_exec_prefix
- libdir=$old_libdir
-- 
cgit