1 files changed, 13 insertions, 22 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0c2b05609cc5..0766ea28cb18 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,41 +1,32 @@
 # Maintainer: csicar
 
 pkgname=key-bin
-pkgver=2.6.3
-pkgrel=2
+_pkgname=key
+pkgver=2.8.0
+pkgrel=0
 pkgdesc="Java Software Verification Tool"
 arch=(any)
 url="https://www.key-project.org/"
 license=('GPL')
 depends=("java-runtime")
 optdepends=("z3")
-source=("https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip"
-	"https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png"
-        "key.desktop"
-        "key.sh")
-sha256sums=('b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211'
-	    '6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae'
-            '883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980'
-            '449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43')
-
-build() {
-  ls
-  # assume ant defaults to UTF8 encoding.
-}
+source=("https://www.key-project.org/dist/${pkgver}/key-${pkgver}.zip"
+        "https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png"
+        "key.desktop")
+sha256sums=('40c364a979086052db1443d835fca41d1d85073516d9e3c4d212966e5e449de7'
+            '6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae'
+            '883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980')
 
 package() {
-  install -m 755 -D "key.sh" "$pkgdir/usr/bin/key"
-
   mkdir -p "${pkgdir}/usr/share/java/key"
+  mkdir -p "${pkgdir}/usr/bin"
   mkdir -p "${pkgdir}/usr/share/icons/"
 
-  cp -a libs "${pkgdir}/usr/share/java/key/libs"
-  cp -a components "${pkgdir}/usr/share/java/key/components"
-  cp KeY.jar "${pkgdir}/usr/share/java/key/KeY.jar"
+  cp -a "$_pkgname-$pkgver/lib" "${pkgdir}/usr/share/java/key/lib"
+  cp -a "$_pkgname-$pkgver/bin" "${pkgdir}/usr/share/java/key/bin"
+  ln -s "${pkgdir}/usr/share/java/key/bin/key.ui" "${pkgdir}/usr/bin/key"
 
   cp key-logo-white.png "${pkgdir}/usr/share/icons/key.png"
 
   install -Dm755 "${srcdir}/key.desktop" "${pkgdir}/usr/share/applications/key.desktop"
-
-  ls "${pkgdir}/usr/share/java/key"
 }