diff options
author | Eric Engestrom | 2019-10-12 19:27:49 +0100 |
---|---|---|
committer | Eric Engestrom | 2019-10-12 19:27:49 +0100 |
commit | dd6c78fa123652a03fcf6b1b0e40ad0bdab922fe (patch) | |
tree | 037acf2a05c035a854b4cc22866424e21b90469f | |
download | aur-dd6c78fa123652a03fcf6b1b0e40ad0bdab922fe.tar.gz |
initial commit - v20181222
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | PKGBUILD | 20 | ||||
-rw-r--r-- | jing.sh | 2 |
4 files changed, 39 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b996a215bcc8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = jing + pkgdesc = RELAX NG validator + pkgver = 20181222 + pkgrel = 1 + url = https://github.com/relaxng/jing-trang + arch = x86_64 + license = BSD + depends = java-runtime + source = https://github.com/relaxng/jing-trang/releases/download/V20181222/jing-20181222.zip + source = jing.sh + sha256sums = 87075cb8e94439d7d7fb7752c246074e1cebf52dff45176d02190b18bd4d462d + sha256sums = d7610d8e1446ac837f81bf0726fb7eaa3ed3d6d204bf02eb03f36aabf3ae0c00 + +pkgname = jing + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..8f07fa55033b --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +/jing-*.zip +/*.pkg.* diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..8fd58a3575a8 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,20 @@ +# Maintainer: Eric Engestrom <aur [at] engestrom [dot] ch> + +pkgname=jing +pkgver=20181222 +pkgrel=1 +pkgdesc="RELAX NG validator" +url=https://github.com/relaxng/jing-trang +license=(BSD) +arch=(x86_64) +source=("$url/releases/download/V$pkgver/jing-$pkgver.zip" + jing.sh) +sha256sums=('87075cb8e94439d7d7fb7752c246074e1cebf52dff45176d02190b18bd4d462d' + 'd7610d8e1446ac837f81bf0726fb7eaa3ed3d6d204bf02eb03f36aabf3ae0c00') +depends=(java-runtime) + +package() { + install -Dm755 jing.sh "$pkgdir"/usr/bin/jing + install -dm755 "$pkgdir"/usr/share/java/jing/ + install -m644 jing-$pkgver/bin/jing.jar "$pkgdir"/usr/share/java/jing/ +} diff --git a/jing.sh b/jing.sh new file mode 100644 index 000000000000..9bd32dfb42aa --- /dev/null +++ b/jing.sh @@ -0,0 +1,2 @@ +#!/bin/sh +exec /usr/bin/java -jar /usr/share/java/jing/jing.jar "$@" |