opt/php-sockets/Pkgfile

# Description: Socket module for PHP
# URL:         http://www.php.net
# Maintainer:  Juergen Daubert, jue at crux dot nu
# Packager:    Alan Mizrahi, alan at mizrahi dot com dot ve
# Depends on: 

name=php-sockets
version=7.2.17
release=1
source=(http://www.php.net/distributions/php-$version.tar.xz)

build() {
    cd php-$version

    ./configure --disable-all --enable-sockets=shared
    make build-modules

    install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
    install -m 755 modules/sockets.so $PKG/usr/lib/php/extensions/

    printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
}