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 /PKGBUILD | |
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.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 51 |
1 files changed, 18 insertions, 33 deletions
@@ -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/" } |