summaryrefslogtreecommitdiffstats
path: root/php-7.2.0-includedir.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2022-05-11 10:48:41 +0200
committerRemi Collet <remi@php.net>2022-05-11 10:48:41 +0200
commit43ce9a2b4f9c0878d38d9b064b2c5fc47f04cf7b (patch)
treef4709016b21267bcfafae6fd997ee6234226bcd4 /php-7.2.0-includedir.patch
dup 8.1
Diffstat (limited to 'php-7.2.0-includedir.patch')
-rw-r--r--php-7.2.0-includedir.patch11
1 files changed, 11 insertions, 0 deletions
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