security release with several minor bug fixes, see http://www.php.net/ChangeLog-7.php#7.2.10
23 lines
615 B
Plaintext
23 lines
615 B
Plaintext
# 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.10
|
|
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
|
|
}
|