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=7.3.12
    9 release=1
   10 source=(http://www.php.net/distributions/php-$version.tar.xz)
   11 
   12 build() {
   13     cd php-$version
   14 
   15     ./configure --disable-all --enable-sockets=shared
   16     make build-modules
   17 
   18     install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
   19     install -m 755 modules/sockets.so $PKG/usr/lib/php/extensions/
   20 
   21     printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
   22 }