From 2c71a67fe4590f13a22c5af3739ab097de871b7c Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Wed, 12 Apr 2017 10:07:47 +0200
Subject: 7.2.0-dev 20170412

---
 php-7.2.0-includedir.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 php-7.2.0-includedir.patch

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

diff --git a/php-7.2.0-includedir.patch b/php-7.2.0-includedir.patch
new file mode 100644
index 0000000..7a42cd6
--- /dev/null
+++ b/php-7.2.0-includedir.patch
@@ -0,0 +1,11 @@
+--- php-7.2.0/configure.ac.includedir
++++ php-7.2.0/configure.ac
+@@ -1230,7 +1230,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:/usr/share/pear:/usr/share/php
+ 
+ exec_prefix=$old_exec_prefix
+ libdir=$old_libdir
-- 
cgit