diff options
author | Jakob Gahde | 2016-07-15 18:09:04 +0200 |
---|---|---|
committer | Jakob Gahde | 2016-07-15 18:09:04 +0200 |
commit | e75ae5a105910805001e4ce8d096655f3b71713d (patch) | |
tree | aef74d6078a8a6483979e5eea8406a82e13afebc | |
download | aur-e75ae5a105910805001e4ce8d096655f3b71713d.tar.gz |
php-wikidiff2-git r78.26738b5-1: Initial package
-rw-r--r-- | .SRCINFO | 18 | ||||
-rw-r--r-- | PKGBUILD | 33 |
2 files changed, 51 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..6c02fc39a027 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +# Generated by mksrcinfo v8 +# Fri Jul 15 16:07:21 UTC 2016 +pkgbase = php-wikidiff2-git + pkgdesc = A PHP module that provides the external diff engine for MediaWiki + pkgver = r78.26738b5 + pkgrel = 1 + url = https://www.mediawiki.org/wiki/Extension:Wikidiff2 + arch = i686 + arch = x86_64 + license = GPL + makedepends = git + depends = php + depends = libthai + source = git+https://gerrit.wikimedia.org/r/p/mediawiki/php/wikidiff2.git + md5sums = SKIP + +pkgname = php-wikidiff2-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..5f3d52100688 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,33 @@ +# Maintainer: Jakob Gahde <j5lx@fmail.co.uk> + +pkgname=php-wikidiff2-git +pkgver=r78.26738b5 +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') +makedepends=('git') +source=("git+https://gerrit.wikimedia.org/r/p/mediawiki/php/wikidiff2.git") +md5sums=('SKIP') + +pkgver() { + cd "${srcdir}/wikidiff2" + + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +build() { + cd "${srcdir}/wikidiff2" + + phpize + ./configure + make +} + +package() { + cd "${srcdir}/wikidiff2" + + make install INSTALL_ROOT="${pkgdir}" +} |