blob: f78ed45015ed36426a98ed29c6ae2d344b648662 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
# Maintainer: SeineEloquenz alexander minus linder at gmx dot 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"
}
|