diff options
-rw-r--r-- | .SRCINFO | 18 | ||||
-rw-r--r-- | PKGBUILD | 27 |
2 files changed, 45 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9a07f22a2c93 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +# Generated by mksrcinfo v8 +# Sun Oct 30 10:32:58 UTC 2016 +pkgbase = php-wikidiff2 + pkgdesc = A PHP module that provides the external diff engine for MediaWiki + pkgver = 1.4.1 + 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#tag=1.4.1 + md5sums = SKIP + +pkgname = php-wikidiff2 + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..2253186d63df --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Jakob Gahde <j5lx@fmail.co.uk> + +pkgname=php-wikidiff2 +pkgver=1.4.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') +makedepends=('git') +source=("git+https://gerrit.wikimedia.org/r/p/mediawiki/php/wikidiff2.git#tag=${pkgver}") +md5sums=('SKIP') + +build() { + cd "${srcdir}/wikidiff2" + + phpize + ./configure + make +} + +package() { + cd "${srcdir}/wikidiff2" + + make install INSTALL_ROOT="${pkgdir}" +} |