php-sockets/Pkgfile



    1 # Description: Socket module for PHP
    2 # URL: https://www.php.net
    3 # Maintainer: Juergen Daubert, jue at crux dot nu
    4 
    5 name=php-sockets
    6 version=8.1.12
    7 release=1
    8 source=(https://www.php.net/distributions/php-$version.tar.xz)
    9 
   10 build() {
   11 	cd php-$version
   12 
   13 	./configure --disable-all --enable-sockets=shared
   14 	make build-modules
   15 
   16 	install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
   17 	install -m 755 modules/sockets.so $PKG/usr/lib/php/extensions/
   18 
   19 	printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
   20 }