# Contributor: Spencer Rinehart _extname=wddx pkgname=("php-${_extname}") pkgver=7.0.14 pkgrel=2 pkgdesc="PHP extension for wddx" arch=('i686' 'x86_64') url='https://secure.php.net/wddx' license=('PHP') depends=('php') backup=("etc/php/conf.d/${_extname}.ini") install="php-${_extname}.install" source=("https://secure.php.net/distributions/php-${pkgver}.tar.gz") md5sums=('5e20062f39fb3bd5afeed916866acad9') build() { cd "php-${pkgver}/ext/${_extname}" phpize ./configure --prefix=/usr make } package() { cd "php-${pkgver}/ext/${_extname}" make INSTALL_ROOT="${pkgdir}" install echo "extension=${_extname}.so" > "${_extname}.ini" install -D -m644 "${_extname}.ini" "${pkgdir}/etc/php/conf.d/${_extname}.ini" }