opt/php-sockets/Pkgfile

# Description: Socket module for PHP
# URL: https://www.php.net
# Maintainer: Juergen Daubert, jue at crux dot nu

name=php-sockets
version=8.2.4
release=1
source=(https://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
}