blob: d3504fe6d2deb81bc8bc0fc04e2e89ff0a9df765 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Maintainer: Jeremy Symon <jtsymon@gmail.com>
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=('unzip')
source=(
'https://formal.iti.kit.edu/key/releases/2.6.2/key-2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a.zip'
'launcher'
)
sha256sums=(
'ebf66973e077f4f0ebfa4c97eae1f14b6a57c02b06b1f8cf2b10542e59d37bf5'
'c7ad44a846da4991ac2c5981649cf77cdb9ceae76dc2bd530e84e8b42f56566f'
)
package() {
install -Dm755 'launcher' "$pkgdir/usr/bin/$pkgname"
install -d "$pkgdir/usr/lib/$pkgname/"
cp -r \
'KeY.jar' 'components' 'libs' \
"$pkgdir/usr/lib/$pkgname/"
}
|