1 files changed, 5 insertions, 4 deletions
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"
 }