diff options
author | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
---|---|---|
committer | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
commit | f7669e4734b38635cf457de7957152ba1682aadf (patch) | |
tree | d60a67441ee4b059770baa4212840080429f158d | |
download | aur-f7669e4734b38635cf457de7957152ba1682aadf.tar.gz |
Create version 2.8.0
-rw-r--r-- | .SRCINFO | 22 | ||||
-rw-r--r-- | PKGBUILD | 41 | ||||
-rw-r--r-- | key-logo-white.png | bin | 0 -> 17464 bytes | |||
-rw-r--r-- | key.desktop | 11 | ||||
-rw-r--r-- | key.sh | 4 |
5 files changed, 78 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ec0bb410e93a --- /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 000000000000..35dda60dd9ad --- /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 Binary files differnew file mode 100644 index 000000000000..8fd68cfd5a2a --- /dev/null +++ b/key-logo-white.png diff --git a/key.desktop b/key.desktop new file mode 100644 index 000000000000..84a4badb7723 --- /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 000000000000..0466603c1439 --- /dev/null +++ b/key.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +java -jar /usr/share/java/key/KeY.jar "$@" + |