Package Details: key-bin 2.8.0-0

Git Clone URL: https://aur.archlinux.org/key-bin.git (read-only, click to copy)
Package Base: key-bin
Description: Java Software Verification Tool
Upstream URL: https://www.key-project.org/
Licenses: GPL
Submitter: csicar
Maintainer: csicar
Last Packager: csicar
Votes: 1
Popularity: 0.000089
First Submitted: 2018-11-28 00:55
Last Updated: 2021-04-20 14:05

Required by (0)

Sources (3)

Latest Comments

archabuser commented on 2021-04-21 13:53

Looks like the symlink created with ln -s "${pkgdir}/usr/share/java/key/bin/key.ui" "${pkgdir}/usr/bin/key" is broken. I think it should point to /usr/share/java/key/bin/key.ui (without ${pkgdir}) instead.

csicar commented on 2021-04-20 14:06

Thank you! My terrible mixing of tabs and spaces caused problem with the patches, but it should be updated now. Thanks!

j05hv4 commented on 2021-04-20 12:40

Hum, sorry, dunno what happend there. Here is the full patch:

diff --git a/.SRCINFO b/.SRCINFO
index 2b7b0ab..7d53c44 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,20 +1,18 @@
 pkgbase = key-bin
    pkgdesc = Java Software Verification Tool
-   pkgver = 2.6.3
-   pkgrel = 2
+   pkgver = 2.8.0
+   pkgrel = 0
    url = https://www.key-project.org/
    arch = any
    license = GPL
    depends = java-runtime
    optdepends = z3
-   source = https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip
+   source = https://www.key-project.org/dist/2.8.0/key-2.8.0.zip
    source = https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png
    source = key.desktop
-   source = key.sh
-   sha256sums = b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211
+   sha256sums = 40c364a979086052db1443d835fca41d1d85073516d9e3c4d212966e5e449de7
    sha256sums = 6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae
    sha256sums = 883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980
-   sha256sums = 449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43

 pkgname = key-bin

diff --git a/PKGBUILD b/PKGBUILD
index 0c2b056..0766ea2 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"
 }
diff --git a/key.sh b/key.sh
deleted file mode 100755
index 9731558..0000000
--- a/key.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-java -jar /usr/share/java/key/KeY.jar "$@"
\ No newline at end of file

csicar commented on 2021-04-20 11:19

I'd be happy to update the package. But your patch seems to be malformed..

$git patch <<yourPatch>>
error: Anwendung des Patches fehlgeschlagen: PKGBUILD:1
error: PKGBUILD: Patch konnte nicht angewendet werden

Could you try to use git diff > mypatch.diff in the repo and post that?

j05hv4 commented on 2021-04-20 11:08

I updateded the PKGBUILD to fit 2.8.0 (see diff below), please update the package. Thanks!

diff --git a/key-bin/PKGBUILD b/key-bin-new/PKGBUILD
index 0c2b056..b360d65 100644
--- a/key-bin/PKGBUILD
+++ b/key-bin-new/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"
+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"
-        "key.sh")
-sha256sums=('b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211'
+        "key.desktop")
+sha256sums=('40c364a979086052db1443d835fca41d1d85073516d9e3c4d212966e5e449de7'
             '6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae'
-            '883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980'
-            '449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43')
-
-build() {
-  ls
-  # assume ant defaults to UTF8 encoding.
-}
+            '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"
 }