summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJeremy Symon2017-05-07 00:06:55 +1200
committerJeremy Symon2017-05-07 00:07:36 +1200
commitfa53b140fcff73c4b355a14c1c5e99a3050bfbac (patch)
treef39a9dedf9be32647a06837cf5b54982d1428f9a
parent590845430b891bfd06bfcf499b1351fb72a27b63 (diff)
downloadaur-key-logic.tar.gz
Updated to 2.6.2
Looks like the distribution has changed quite a bit: there no longer appears to be an extension package, and the examples are not easily separated from the main package.
-rw-r--r--.SRCINFO21
-rw-r--r--PKGBUILD51
-rw-r--r--launcher3
3 files changed, 28 insertions, 47 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3fa90c01efdd..4c4d0dcc2c7e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,24 +1,17 @@
-# Generated by mksrcinfo v8
-# Wed Jan 20 06:54:01 UTC 2016
pkgbase = key-logic
pkgdesc = A dynamic logic proof tool
- pkgver = 2.4.1
- pkgrel = 2
+ pkgver = 2.6.2
+ pkgrel = 1
url = http://www.key-project.org
arch = any
license = GPL2
+ makedepends = unzip
depends = bash
depends = java-environment
- source = http://www.key-project.org/download/releases/2.4.1/KeY-2.4.1.tgz
- sha256sums = 865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321
+ source = https://formal.iti.kit.edu/key/releases/2.6.2/key-2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a.zip
+ source = launcher
+ sha256sums = ebf66973e077f4f0ebfa4c97eae1f14b6a57c02b06b1f8cf2b10542e59d37bf5
+ sha256sums = c7ad44a846da4991ac2c5981649cf77cdb9ceae76dc2bd530e84e8b42f56566f
pkgname = key-logic
- depends = bash
- depends = java-environment
- depends = key-logic-ext
- optdepends = key-logic-examples: for example proofs
-
-pkgname = key-logic-examples
- pkgdesc = Example proofs for KeY
- depends = key-logic
diff --git a/PKGBUILD b/PKGBUILD
index 6ea14a21679a..d3504fe6d2de 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,41 +1,26 @@
# Maintainer: Jeremy Symon <jtsymon@gmail.com>
-pkgbase='key-logic'
-pkgname=("$pkgbase" "$pkgbase-examples")
-pkgver=2.4.1
-pkgrel=2
+pkgname='key-logic'
+pkgver=2.6.2
+pkgrel=1
pkgdesc="A dynamic logic proof tool"
arch=('any')
url="http://www.key-project.org"
license=('GPL2')
depends=('bash' 'java-environment')
-makedepends=()
-checkdepends=()
-optdepends=()
-source=("$url/download/releases/$pkgver/KeY-${pkgver}.tgz")
-sha256sums=('865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321')
+makedepends=('unzip')
+source=(
+ 'https://formal.iti.kit.edu/key/releases/2.6.2/key-2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a.zip'
+ 'launcher'
+)
+sha256sums=(
+ 'ebf66973e077f4f0ebfa4c97eae1f14b6a57c02b06b1f8cf2b10542e59d37bf5'
+ 'c7ad44a846da4991ac2c5981649cf77cdb9ceae76dc2bd530e84e8b42f56566f'
+)
-prepare() {
- jar xf setup.jar de/uka/ilkd/key/util/install/startProver_linux
- sed \
- -e '1a KEY_HOME="/usr/lib/'$pkgname'"\nKEY_LIB=/usr/share/java/"'$pkgname'-ext"' \
- -i de/uka/ilkd/key/util/install/startProver_linux
- mkdir -p examples
- pushd examples
- jar xf ../examples.jar
- popd
-}
-
-package_key-logic() {
- optdepends=("$pkgbase-examples: for example proofs")
- depends+=("$pkgbase-ext")
- install -Dm755 de/uka/ilkd/key/util/install/startProver_linux \
- $pkgdir/usr/bin/$pkgbase
- install -Dm644 key.jar $pkgdir/usr/lib/$pkgbase/system/key.jar
-}
-
-package_key-logic-examples() {
- pkgdesc="Example proofs for KeY"
- depends=("$pkgbase")
- install -d $pkgdir/usr/lib/$pkgbase
- cp -rT examples $pkgdir/usr/lib/$pkgbase/examples
+package() {
+ install -Dm755 'launcher' "$pkgdir/usr/bin/$pkgname"
+ install -d "$pkgdir/usr/lib/$pkgname/"
+ cp -r \
+ 'KeY.jar' 'components' 'libs' \
+ "$pkgdir/usr/lib/$pkgname/"
}
diff --git a/launcher b/launcher
new file mode 100644
index 000000000000..525a7178b877
--- /dev/null
+++ b/launcher
@@ -0,0 +1,3 @@
+#!/usr/bin/env sh
+
+java -jar /usr/lib/key-logic/KeY.jar