php-igbinary: initial commit, version 3.1.2

php-igbinary/.footprint

@@ -0,0 +1,19 @@
+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/igbinary.ini
+drwxr-xr-x	root/root	usr/
+drwxr-xr-x	root/root	usr/include/
+drwxr-xr-x	root/root	usr/include/php/
+drwxr-xr-x	root/root	usr/include/php/ext/
+drwxr-xr-x	root/root	usr/include/php/ext/igbinary/
+-rw-r--r--	root/root	usr/include/php/ext/igbinary/igbinary.h
+-rw-r--r--	root/root	usr/include/php/ext/igbinary/php_igbinary.h
+drwxr-xr-x	root/root	usr/include/php/ext/igbinary/src/
+drwxr-xr-x	root/root	usr/include/php/ext/igbinary/src/php7/
+-rw-r--r--	root/root	usr/include/php/ext/igbinary/src/php7/igbinary.h
+-rw-r--r--	root/root	usr/include/php/ext/igbinary/src/php7/php_igbinary.h
+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/igbinary.so

php-igbinary/.signature

@@ -0,0 +1,5 @@
+untrusted comment: verify with /etc/ports/contrib.pub
+RWSagIOpLGJF373Ep+eHuO2CKrwL8tUTMvBldN2kgVNAOVTFrkaIk2rVXzSDRxQR8fcD1B14KlYXkL5XrIzQR0yLtRGncLAvaQY=
+SHA256 (Pkgfile) = c1cdd7693807f616995ab70f1abdb5fcbb238c348b916b4d9d2c28f4b039820c
+SHA256 (.footprint) = e5a68789d276ee8ea51cbf7347979d60fc897992b57cf7c98914ece693b65ced
+SHA256 (php-igbinary-3.1.2.tar.gz) = 0c804244edad8e8c95f75e7575269a3a31020c7f7a945ff81230fe12afd90664

php-igbinary/Pkgfile

@@ -0,0 +1,20 @@
+# Description: Igbinary is a drop in replacement for the standard php serializer
+# URL: https://github.com/igbinary/igbinary
+# Maintainer: Tim Biermann, tbier at posteo dot de
+# Depends on: php
+
+name=php-igbinary
+version=3.1.2
+release=4
+source=(https://github.com/igbinary/igbinary/archive/$version/$name-$version.tar.gz)
+
+build() {
+  cd igbinary-$version
+  sed 's/extension/;extension/g' -i igbinary.php.ini
+  phpize
+  ./configure --prefix=/usr \
+    --enable-igbinary
+  make
+  make INSTALL_ROOT=$PKG install
+  install -vDm 644 igbinary.php.ini $PKG/etc/php/conf.d/igbinary.ini
+}