From 0c3b39922344506b6ca05604c49cc58930c62fc9 Mon Sep 17 00:00:00 2001 From: Jose V Beneyto Date: Mon, 10 Dec 2007 16:19:12 +0100 Subject: [PATCH] php4: Fixed 'extensions_dir' value for php-config script. Also modified email lines. --- php4/Pkgfile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/php4/Pkgfile b/php4/Pkgfile index 2ba81cea0..310799dfb 100644 --- a/php4/Pkgfile +++ b/php4/Pkgfile @@ -1,12 +1,12 @@ # Description: PHP Version 4. # URL: http://www.php.net -# Maintainer: Jose V Beneyto, joberui at ei dot upv dot es -# Packager: Jose V Beneyto, joberui at ei dot upv dot es +# Maintainer: Jose V Beneyto, sepen at users dot sourceforge dot net +# Packager: Jose V Beneyto, sepen at users dot sourceforge dot net # Depends on: bzip2,libpcre,libpng,libxml2,openssl name=php4 version=4.4.7 -release=3 +release=4 source=(http://php.net/distributions/php-${version}.tar.bz2) build() { @@ -46,6 +46,7 @@ build() { make ${CFLAGS} make INSTALL_ROOT=${PKG} install rm -rf ${PKG}/usr/lib/php/{test,doc} - sed -i "/^extension_dir/s|\./|/usr/lib/php/extensions|" php.ini-dist + sed -e "s|extension_dir=.*|extension_dir='/usr/lib/php/extensions'|" -i ${PKG}/usr/bin/php-config + sed -e "/^extension_dir/s|\./|/usr/lib/php/extensions|" -i php.ini-dist install -D -m 0644 php.ini-dist ${PKG}/etc/php.ini }