diff options
author | Jeremy Symon | 2017-05-07 00:06:55 +1200 |
---|---|---|
committer | Jeremy Symon | 2017-05-07 00:07:36 +1200 |
commit | fa53b140fcff73c4b355a14c1c5e99a3050bfbac (patch) | |
tree | f39a9dedf9be32647a06837cf5b54982d1428f9a | |
parent | 590845430b891bfd06bfcf499b1351fb72a27b63 (diff) | |
download | aur-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-- | .SRCINFO | 21 | ||||
-rw-r--r-- | PKGBUILD | 51 | ||||
-rw-r--r-- | launcher | 3 |
3 files changed, 28 insertions, 47 deletions
@@ -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 @@ -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 |