diff options
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 35 | ||||
| -rw-r--r-- | key.desktop | 11 | ||||
| -rwxr-xr-x | key.sh | 3 |
4 files changed, 66 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..c001ff2f2904 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = key-bin + pkgdesc = Java Software Verification Tool + pkgver = 2.6.3 + pkgrel = 1 + url = https://www.key-project.org/ + arch = any + license = GPL + depends = java-runtime + source = https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip + source = key.desktop + source = key.sh + sha256sums = b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211 + sha256sums = 883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980 + sha256sums = 449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43 + +pkgname = key-bin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..3fc5817798de --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: csicar + +pkgname=key-bin +pkgver=2.6.3 +pkgrel=1 +pkgdesc="Java Software Verification Tool" +arch=(any) +url="https://www.key-project.org/" +license=('GPL') +depends=("java-runtime") +source=("https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip" + "key.desktop" + "key.sh") +sha256sums=('b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211' + '883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980' + '449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43') + +build() { + ls + # assume ant defaults to UTF8 encoding. +} + +package() { + install -m 755 -D "key.sh" "$pkgdir/usr/bin/key" + + mkdir -p "${pkgdir}/usr/share/java/key" + + 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" + + install -Dm755 "${srcdir}/key.desktop" "${pkgdir}/usr/share/applications/key.desktop" + + ls "${pkgdir}/usr/share/java/key" +} diff --git a/key.desktop b/key.desktop new file mode 100644 index 000000000000..a49c071068e3 --- /dev/null +++ b/key.desktop @@ -0,0 +1,11 @@ +[Desktop Entry] +Type=Application +Name=KeY +GenericName=KeY +Comment=Java Software Verification Tool +Exec=key %U +Icon=key +Terminal=false +Categories=Development +MimeType=text/x-arduino; +Keywords=java;verification
\ No newline at end of file diff --git a/key.sh b/key.sh new file mode 100755 index 000000000000..9731558e834d --- /dev/null +++ b/key.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +java -jar /usr/share/java/key/KeY.jar "$@"
\ No newline at end of file |