diff options
author | Jakob Gahde | 2016-10-30 11:31:38 +0100 |
---|---|---|
committer | Jakob Gahde | 2016-10-30 11:33:22 +0100 |
commit | dfa762b25239d25631e53e8fd3e9d6333af1ccdf (patch) | |
tree | 94e9a31f6f60ad6a2ae11f196315d1e3c214081b | |
download | aur-dfa762b25239d25631e53e8fd3e9d6333af1ccdf.tar.gz |
php-wikidiff2 1.4.1-1: New package
-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}" +} |