summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD9
2 files changed, 6 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 209d05bb330c..466dae02e0ee 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 883c2edafc13..c68647f431e3 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"
}