summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 0c2b05609cc5860dd8cca43039788e09dc1cb466 (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: csicar

pkgname=key-bin
pkgver=2.6.3
pkgrel=2
pkgdesc="Java Software Verification Tool"
arch=(any)
url="https://www.key-project.org/"
license=('GPL')
depends=("java-runtime")
optdepends=("z3")
source=("https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip"
	"https://www.key-project.org/wp-content/themes/key/img/key-logo-white.png"
        "key.desktop"
        "key.sh")
sha256sums=('b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211'
	    '6b3f7a6d75515e92a9f139216c59c06bd9b43da62e70904eef882722ce7cceae'
            '883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980'
            '449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43')

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 -a libs "${pkgdir}/usr/share/java/key/libs"
  cp -a components "${pkgdir}/usr/share/java/key/components"
  cp KeY.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"
}