summaryrefslogtreecommitdiffstats
path: root/php-7.2.0-includedir.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2023-06-05 15:41:53 +0200
committerRemi Collet <remi@php.net>2023-06-05 15:41:53 +0200
commitce6bb895e772b36d61237c635770e4c2ee51f766 (patch)
tree551551a05c55c5aa63dcf29050000706173f4ba6 /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..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