summaryrefslogtreecommitdiffstats
path: root/php-7.2.0-includedir.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2023-08-30 10:48:34 +0200
committerRemi Collet <remi@php.net>2023-08-30 10:48:34 +0200
commit627e1502d5206fc341ffb78824c46ac1dc6adb1e (patch)
tree9a634f03b71baac7f7d4cc917ecd73d017d0c6a0 /php-7.2.0-includedir.patch
duplicate 8.2
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..6d9a871
--- /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
+
+ exec_prefix=$old_exec_prefix
+ libdir=$old_libdir