diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 30 |
1 files changed, 20 insertions, 10 deletions
@@ -1,28 +1,38 @@ -# Maintainer: Jakob Gahde <j5lx@fmail.co.uk> +# Maintainer : KokaKiwi <kokakiwi+aur at kokakiwi dot net> +# Contributor: Felix Golatofski <contact@xdfr.de> +# Contributor: Jakob Gahde <j5lx@fmail.co.uk> pkgname=php-wikidiff2 -pkgver=1.7.2 +pkgver=1.14.1 pkgrel=1 pkgdesc="A PHP module that provides the external diff engine for MediaWiki" arch=('i686' 'x86_64') -license=('GPL') +license=('GPL-2.0-or-later') url='https://www.mediawiki.org/wiki/Extension:Wikidiff2' depends=('php' 'libthai') -source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz"{,.sig}) -validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2') -sha512sums=('3abd31488b049a860a2b88ce16f525f5641bdbc94e264227d6c54b837cc3630cbd01c45ffd44ae715e3496c2d3b65eee2e54eba4631300beb9c0c6a14a6fdadf' +source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-$pkgver.tar.gz"{,.sig}) +sha512sums=('2c4e20197571b3c662967561e64cc1ef46ae6357e0323faa66fcfe8803b1a6f056b49e2721383bc9c1ab1cf0830627690f0cdf8c3be067b41a02a5563a3e6a0a' 'SKIP') +validpgpkeys=( + 'F64EBF5F20996AB514F198A873F146FECF9D333C' # Tim Starling <tstarling@wikimedia.org> +) build() { - cd "${srcdir}/wikidiff2-${pkgver}" + cd "wikidiff2-$pkgver" phpize - ./configure + ./configure --prefix=/usr + make } package() { - cd "${srcdir}/wikidiff2-${pkgver}" + cd "wikidiff2-$pkgver" + + make install INSTALL_ROOT="$pkgdir" + + install -dm0755 "$pkgdir/etc/php/conf.d" + echo "extension=wikidiff2.so" > "$pkgdir/etc/php/conf.d/wikidiff2.ini" - make install INSTALL_ROOT="${pkgdir}" + install -Dm0644 -t "$pkgdir/usr/share/licenses/$pkgname" COPYING } |