|
Author: David Barri <japgolly@gmail.com>
Date: Wed Mar 3 11:19:52 2021 +1100
argh
diff --git a/.SRCINFO b/.SRCINFO
index fe24f95..a6669b1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,12 @@
pkgbase = tla2json
pkgdesc = Convert TLA+ output and values into JSON.
pkgver = 1.0.1
- pkgrel = 2
+ pkgrel = 3
url = https://github.com/japgolly/tla2json
arch = x86_64
license = Apache
depends = java-runtime
- noextract = tla2json.jar
+ noextract = tla2json-1.0.1.jar
source = https://github.com/japgolly/tla2json/releases/download/v1.0.1/tla2json-1.0.1.jar
source = tla2json
sha256sums = 81a9d2928b2af0f389f2390bd10a47ac21b8235c130ee011a5d964450d017abf
diff --git a/PKGBUILD b/PKGBUILD
index ed07dd1..2d7f6c9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
# Maintainer: David Barri <japgolly@gmail.com>
pkgname=tla2json
pkgver=1.0.1
-pkgrel=2
+pkgrel=3
pkgdesc="Convert TLA+ output and values into JSON."
arch=('x86_64')
url="https://github.com/japgolly/tla2json"
license=('Apache')
depends=('java-runtime')
-noextract=('tla2json.jar')
+noextract=("tla2json-$pkgver.jar")
source=(
"https://github.com/japgolly/tla2json/releases/download/v$pkgver/tla2json-$pkgver.jar"
tla2json
@@ -16,7 +16,7 @@ sha256sums=('81a9d2928b2af0f389f2390bd10a47ac21b8235c130ee011a5d964450d017abf'
'be4a88d33ab6f20c09270b22830b08f37fd059e888b9c272f0fe6c088337e92f')
package() {
- mkdir -p "$pkgdir/usr/share/java" "$pkgdir/usr/bin"
+ mkdir -p "$pkgdir/usr/share/java" "$pkgdir/usr/bin"
install -m644 tla2json-$pkgver.jar "$pkgdir/usr/share/java/tla2json.jar"
install -m755 tla2json "$pkgdir/usr/bin"
}
|