php-sockets/Pkgfile



    1 # Description: Socket module for PHP
    2 # URL:         http://www.php.net
    3 # Maintainer:  Juergen Daubert, jue at crux dot nu
    4 # Packager:    Alan Mizrahi, alan at mizrahi dot com dot ve
    5 # Depends on: 
    6 
    7 name=php-sockets
    8 version=5.6.34
    9 release=1
   10 source=(http://www.php.net/distributions/php-$version.tar.xz)
   11 
   12 build() {
   13 	cd php-$version
   14 
   15 	./configure \
   16 		--disable-all \
   17 		--enable-${name#php-}=shared
   18 	make build-modules
   19 
   20 	install -d $PKG/etc/php/conf.d
   21 	for i in modules/*.so; do
   22 		install -D -m755 $i $PKG/usr/lib/php/extensions/${i##*/}
   23 		echo extension=/usr/lib/php/extensions/${i##*/} >> $PKG/etc/php/conf.d/${name#php-}.ini
   24 	done
   25 
   26 }