summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJakob Gahde2016-07-15 18:09:04 +0200
committerJakob Gahde2016-07-15 18:09:04 +0200
commite75ae5a105910805001e4ce8d096655f3b71713d (patch)
treeaef74d6078a8a6483979e5eea8406a82e13afebc
downloadaur-e75ae5a105910805001e4ce8d096655f3b71713d.tar.gz
php-wikidiff2-git r78.26738b5-1: Initial package
-rw-r--r--.SRCINFO18
-rw-r--r--PKGBUILD33
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}"
+}