diff options
author | Jakob Gahde | 2018-06-27 20:08:28 +0200 |
---|---|---|
committer | Jakob Gahde | 2018-06-27 20:08:28 +0200 |
commit | 37dcebda20972ad25353904ae92e6e2db80e317f (patch) | |
tree | 39e4e85a952767f86781d954fd016dc47eb7b557 /PKGBUILD | |
parent | 9c4a550ae144d3551ddcd05c1de6b0670dbb5677 (diff) | |
download | aur-37dcebda20972ad25353904ae92e6e2db80e317f.tar.gz |
php-wikidiff2 1.7.1-1: New version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -1,18 +1,20 @@ # Maintainer: Jakob Gahde <j5lx@fmail.co.uk> pkgname=php-wikidiff2 -pkgver=1.5.1 +pkgver=1.7.1 pkgrel=1 pkgdesc="A PHP module that provides the external diff engine for MediaWiki" arch=('i686' 'x86_64') license=('GPL') url='https://www.mediawiki.org/wiki/Extension:Wikidiff2' depends=('php' 'libthai') -source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz") -md5sums=('46e79c14099a24fe9fdffa6d6a4bd530') +source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz"{,.sig}) +validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2') +md5sums=('a59df77c591d6e1c7d012680a4587b7b' + 'SKIP') build() { - cd "${srcdir}/mediawiki-${pkgname}-${pkgver}" + cd "${srcdir}/wikidiff2-${pkgver}" phpize ./configure @@ -20,7 +22,7 @@ build() { } package() { - cd "${srcdir}/mediawiki-${pkgname}-${pkgver}" + cd "${srcdir}/wikidiff2-${pkgver}" make install INSTALL_ROOT="${pkgdir}" } |