php-sockets: new port

php-sockets/.footprint

@@ -0,0 +1,9 @@
+drwxr-xr-x	root/root	etc/
+drwxr-xr-x	root/root	etc/php/
+drwxr-xr-x	root/root	etc/php/conf.d/
+-rw-r--r--	root/root	etc/php/conf.d/sockets.ini
+drwxr-xr-x	root/root	usr/
+drwxr-xr-x	root/root	usr/lib/
+drwxr-xr-x	root/root	usr/lib/php/
+drwxr-xr-x	root/root	usr/lib/php/extensions/
+-rwxr-xr-x	root/root	usr/lib/php/extensions/sockets.so

php-sockets/.md5sum

@@ -0,0 +1 @@
+7380ffecebd95c6edb317ef861229ebd  php-5.2.6.tar.bz2

php-sockets/Pkgfile

@@ -0,0 +1,21 @@
+# Description: Sockets module for PHP
+# URL: http://www.php.net
+# Maintainer: Mikhail Kolesnik, mike at openbunker dot org
+# Depends on: 
+
+name=php-sockets
+version=5.2.6
+release=1
+source=(http://www.php.net/distributions/php-$version.tar.bz2)
+
+build() {
+	cd php-$version
+
+	./configure --disable-all \
+				--enable-sockets=shared,/usr
+	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
+	echo "extension=sockets.so" > $PKG/etc/php/conf.d/sockets.ini
+}