summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorGenki Marshall2017-01-30 15:28:19 -0500
committerGenki Marshall2017-01-30 15:36:48 -0500
commit5a499004abb8b778b3a5aac7e28368d63fc28fa8 (patch)
tree69cbc39a8be9e25442fa20b2e3375a03ce3fa4dd
parent5a02fe197537aba7ccba924b2d7dfc4043ca7cce (diff)
downloadaur-5a499004abb8b778b3a5aac7e28368d63fc28fa8.tar.gz
fix: Follow package guidelines for Java apps
See https://wiki.archlinux.org/index.php/Java_package_guidelines
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD9
2 files changed, 6 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 209d05bb330..466dae02e0e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -5,7 +5,7 @@ pkgbase = tla-toolbox
url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
arch = x86_64
license = MIT
- depends = jre8-openjdk
+ 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
diff --git a/PKGBUILD b/PKGBUILD
index 883c2edafc1..c68647f431e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,14 +7,15 @@ pkgdesc="IDE for the TLA+ tools"
arch=('x86_64')
url="http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html"
license=('MIT')
-depends=('jre8-openjdk')
+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')
package() {
- mkdir -p "$pkgdir/opt/tla-toolbox"
- cp -r toolbox/* "$pkgdir/opt/tla-toolbox/"
- echo '>>> Note: IDE binary will be located at /opt/tla-toolbox/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 "$pkgdir/usr/share/java/tla-toolbox/toolbox" "$pkgdir/usr/bin/tla-toolbox"
}