2015-11-04 17:31:10 +01:00
|
|
|
# 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
|
2015-08-07 04:58:40 +02:00
|
|
|
# Depends on:
|
|
|
|
|
|
|
|
name=php-sockets
|
2019-07-04 14:01:39 +02:00
|
|
|
version=7.3.7
|
2015-08-07 04:58:40 +02:00
|
|
|
release=1
|
|
|
|
source=(http://www.php.net/distributions/php-$version.tar.xz)
|
|
|
|
|
|
|
|
build() {
|
2018-03-30 12:50:21 +02:00
|
|
|
cd php-$version
|
2015-08-07 04:58:40 +02:00
|
|
|
|
2018-03-30 12:50:21 +02:00
|
|
|
./configure --disable-all --enable-sockets=shared
|
|
|
|
make build-modules
|
2015-08-07 04:58:40 +02:00
|
|
|
|
2018-03-30 12:50:21 +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
|
|
|
|
2018-03-30 12:50:21 +02:00
|
|
|
printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
|
2015-08-07 04:58:40 +02:00
|
|
|
}
|