diff options
author | Genki Sky | 2017-04-06 04:47:18 -0400 |
---|---|---|
committer | Genki Sky | 2017-04-06 04:49:26 -0400 |
commit | 064e03cc899a1097437aa907103cee9e0f90b016 (patch) | |
tree | a9d63cf813afdb03515b4981f32668a7902a8e86 | |
parent | 6a688910e06036eea02137a6568edfe269568169 (diff) | |
download | aur-064e03cc899a1097437aa907103cee9e0f90b016.tar.gz |
fix: Follow package guidelines, update email
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 20 |
2 files changed, 11 insertions, 14 deletions
@@ -3,13 +3,12 @@ pkgbase = tla-toolbox pkgver = 1.5.2 pkgrel = 1 url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html + arch = i686 arch = x86_64 license = MIT depends = java-runtime - provides = tla-toolbox - conflicts = tla-toolbox source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip - md5sums = SKIP + md5sums = a93f9ea07ca303d68f81f2be386f9c84 pkgname = tla-toolbox @@ -1,21 +1,19 @@ -# Maintainer: Genki Marshall <genki at genki dot is> +# Maintainer: Genki Sky <arch at genki dot is> pkgname=tla-toolbox pkgver=1.5.2 pkgrel=1 pkgdesc="IDE for the TLA+ tools" -arch=('x86_64') -url="http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html" +arch=('i686' 'x86_64') +url='http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html' license=('MIT') depends=('java-runtime') -provides=("${pkgname}") -conflicts=("${pkgname}") -source=('https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip') -md5sums=('SKIP') +source=("https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.$CARCH.zip") +md5sums=('a93f9ea07ca303d68f81f2be386f9c84') package() { - mkdir -p "$pkgdir/usr/share/java/tla-toolbox" - cp -r toolbox/* "$pkgdir/usr/share/java/tla-toolbox/" - mkdir -p "$pkgdir/usr/bin" - ln -s '/usr/share/java/tla-toolbox/toolbox' "$pkgdir/usr/bin/tla-toolbox" + mkdir -p "$pkgdir"/usr/share/java/tla-toolbox + cp -r toolbox/* "$pkgdir"/usr/share/java/tla-toolbox/ + mkdir -p "$pkgdir"/usr/bin + ln -s '/usr/share/java/tla-toolbox/toolbox' "$pkgdir"/usr/bin/tla-toolbox } |