2015-11-04 17:31:10 +01:00
|
|
|
# Description: Socket module for PHP
|
2021-06-05 17:02:30 +02:00
|
|
|
# URL: https://www.php.net
|
|
|
|
# Maintainer: Juergen Daubert, jue at crux dot nu
|
2015-08-07 04:58:40 +02:00
|
|
|
|
|
|
|
name=php-sockets
|
2022-02-16 17:13:44 +01:00
|
|
|
version=8.0.16
|
2015-08-07 04:58:40 +02:00
|
|
|
release=1
|
2020-06-06 13:00:05 +02:00
|
|
|
source=(https://www.php.net/distributions/php-$version.tar.xz)
|
2015-08-07 04:58:40 +02:00
|
|
|
|
|
|
|
build() {
|
2021-06-05 17:02:30 +02:00
|
|
|
cd php-$version
|
2015-08-07 04:58:40 +02:00
|
|
|
|
2021-06-05 17:02:30 +02:00
|
|
|
./configure --disable-all --enable-sockets=shared
|
|
|
|
make build-modules
|
2015-08-07 04:58:40 +02:00
|
|
|
|
2021-06-05 17:02:30 +02:00
|
|
|
install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
|
|
|
|
install -m 755 modules/sockets.so $PKG/usr/lib/php/extensions/
|
2015-08-07 04:58:40 +02:00
|
|
|
|
2021-06-05 17:02:30 +02:00
|
|
|
printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
|
2015-08-07 04:58:40 +02:00
|
|
|
}
|