summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: ade2d2173db5f0790e01fcddb2f7fb95251ef2e5 (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
pkgname=jape
pkgver=8.1.3
pkgrel=1
pkgdesc='A configurable, graphical proof assistant.'
arch=('x86_64')
url='http://japeforall.org.uk/'
license=('GPL')
depends=('java-runtime')
makedepends=('unzip')
source=('jape'
        'jape.desktop')
sha256sums=('43cfa222c48f819c9c4508f4847212d4327f8c7aa49ba4f3bfc9dc4f0f330f8d'
            '4677512343900e325f763cf79c8571ae3e493d7f074ebc7c68182ef487e6e579')
source_x86_64=("http://www.cs.ox.ac.uk/people/bernard.sufrin/personal/jape.org/BUILDS/$pkgver/InstallLinuxjape.jar")
noextract=('InstallLinuxjape.jar')
sha256sums_x86_64=('768ab130d59c75ddab10a2b8dbaf10e0403c57b48a5b837f940af2c7182c72ce')

package() {
  cd "$srcdir"

  unzip InstallLinuxjape.jar || true  # Invalid JAR file

  install -d "$pkgdir/usr/share/jape"
  install -m755 jape_engine "$pkgdir/usr/share/jape/"
  install -m644 README-UNIX README_encoder.txt "$pkgdir/usr/share/jape/"
  cp -dpr --no-preserve=ownership examples "$pkgdir/usr/share/jape/"

  install -d "$pkgdir/usr/share/java/jape"
  install -m644 Jape.jar encoder.jar "$pkgdir/usr/share/java/jape/"

  install -Dm755 jape "$pkgdir/usr/bin/jape"
  install -Dm644 jape.desktop "$pkgdir/usr/share/applications/jape.desktop"
}