From 609aeee3a33f595986316f911829a58733cc9bda Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 7 Dec 2023 10:05:23 +0100 Subject: refresh --- php-7.2.0-includedir.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'php-7.2.0-includedir.patch') diff --git a/php-7.2.0-includedir.patch b/php-7.2.0-includedir.patch index 6d9a871..2202026 100644 --- a/php-7.2.0-includedir.patch +++ b/php-7.2.0-includedir.patch @@ -1,11 +1,11 @@ --- php-7.2.0/configure.ac.includedir +++ php-7.2.0/configure.ac -@@ -1230,7 +1230,7 @@ +@@ -1283,7 +1283,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 ++INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR:${EXPANDED_DATADIR}/php:/usr/share/pear:/usr/share/php exec_prefix=$old_exec_prefix libdir=$old_libdir -- cgit