diff --git a/php/.footprint b/php/.footprint index c7f90705e..e17118270 100644 --- a/php/.footprint +++ b/php/.footprint @@ -6,7 +6,7 @@ drwxr-xr-x root/root etc/php/conf.d/ -rw-r--r-- root/root etc/php/php.ini-production drwxr-xr-x root/root usr/ drwxr-xr-x root/root usr/bin/ -lrwxrwxrwx root/root usr/bin/phar -> /usr/bin/phar.phar +lrwxrwxrwx root/root usr/bin/phar -> phar.phar -rwxr-xr-x root/root usr/bin/phar.phar -rwxr-xr-x root/root usr/bin/php -rwxr-xr-x root/root usr/bin/php-config diff --git a/php/.md5sum b/php/.md5sum index fbd71af13..2f50eb692 100644 --- a/php/.md5sum +++ b/php/.md5sum @@ -1 +1 @@ -c63dcfd8b318d12127ba6d39ecc8a444 php-5.5.19.tar.xz +51377838dfee2d7bb4715674ac715394 php-5.5.20.tar.xz diff --git a/php/Pkgfile b/php/Pkgfile index 90b9f285f..f792c90cd 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: readline libpcre libxml2 curl db gdbm xz name=php -version=5.5.19 +version=5.5.20 release=1 source=(http://php.net/distributions/php-$version.tar.xz) @@ -40,6 +40,7 @@ build () { make make -j1 INSTALL_ROOT=$PKG install rm $PKG/usr/lib/php/extensions/*.a + ln -sf phar.phar $PKG/usr/bin/phar sed -i '/^extension_dir/s|=.*$|= "/usr/lib/php/extensions"|' php.ini-* install -d $PKG/etc/php/conf.d