summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO22
-rw-r--r--PKGBUILD41
-rw-r--r--key-logo-white.pngbin0 -> 17464 bytes
-rw-r--r--key.desktop11
-rw-r--r--key.sh4
5 files changed, 78 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..ec0bb410e93
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,22 @@
+pkgbase = key-exe-bin
+ pkgdesc = Java Software Verification Tool
+ pkgver = 2.8.0
+ pkgrel = 1
+ url = https://www.key-project.org/
+ arch = any
+ license = GPL
+ depends = java-runtime
+ optdepends = z3: z3 solver support
+ optdepends = yices: yices solver support
+ noextract = key-${pkgver}-exe.jar
+ source = https://www.key-project.org/dist/2.8.0/key-2.8.0-exe.jar
+ source = key-logo-white.png
+ source = key.desktop
+ source = key.sh
+ sha256sums = 65b1a6d1c21df993c23e781c661d8b6f9efd07050aed0c2ca224575772e6bdb1
+ sha256sums = 4528428a6d47de78ca395de5be6102816ffe0a94ab168b3ecb35f9aa440b230e
+ sha256sums = 5b56b4146777dbbdd4b6564b948bb3f0553cd99a47c8a74034905ffa5cf1af9f
+ sha256sums = 3917522c185e4077b5225af7264791cca4c51c82dc4150e803b4c8c105b9d302
+
+pkgname = key-exe-bin
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..35dda60dd9a
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,41 @@
+# Maintainer: SeineEloquenz alexander-linder@gmx.de
+
+pkgname=key-exe-bin
+pkgver=2.8.0
+pkgrel=1
+pkgdesc="Java Software Verification Tool"
+arch=(any)
+url="https://www.key-project.org/"
+license=('GPL')
+depends=("java-runtime")
+optdepends=("z3: z3 solver support"
+ "yices: yices solver support")
+source=("https://www.key-project.org/dist/${pkgver}/key-${pkgver}-exe.jar"
+ "key-logo-white.png"
+ "key.desktop"
+ "key.sh")
+noextract=('key-${pkgver}-exe.jar')
+sha256sums=('65b1a6d1c21df993c23e781c661d8b6f9efd07050aed0c2ca224575772e6bdb1'
+ '4528428a6d47de78ca395de5be6102816ffe0a94ab168b3ecb35f9aa440b230e'
+ '5b56b4146777dbbdd4b6564b948bb3f0553cd99a47c8a74034905ffa5cf1af9f'
+ '3917522c185e4077b5225af7264791cca4c51c82dc4150e803b4c8c105b9d302')
+
+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"
+ mkdir -p "${pkgdir}/usr/share/icons/"
+
+ cp key-2.8.0-exe.jar "${pkgdir}/usr/share/java/key/KeY.jar"
+
+ 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-logo-white.png b/key-logo-white.png
new file mode 100644
index 00000000000..8fd68cfd5a2
--- /dev/null
+++ b/key-logo-white.png
Binary files differ
diff --git a/key.desktop b/key.desktop
new file mode 100644
index 00000000000..84a4badb772
--- /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
diff --git a/key.sh b/key.sh
new file mode 100644
index 00000000000..0466603c143
--- /dev/null
+++ b/key.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+java -jar /usr/share/java/key/KeY.jar "$@"
+