tla-tools/PKGBUILD

   1 # Maintainer: Antoine Lubineau <antoine@lubignon.info>
   2
   3 pkgname=tla-tools
   4 pkgver=2.1.0
   5 pkgrel=1
   6 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)"
   7 arch=('any')
   8 url="http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html"
   9 license=('custom:MSR-EULA')
  10 depends=('java-runtime')
  11 options=(!strip)
  12 source=(
  13   'http://ftp.research.microsoft.com/downloads/41b4a0aa-5fad-4118-916a-45ed9fd48bf0/tla.zip'
  14   'pcal2tla'
  15   'sany'
  16   'tla2tex'
  17   'tlc'
  18 )
  19 sha256sums=('cc7efd6b9798f2962a16e894571edb65621aed3d3376f4829145a08e996ab86d'
  20             '6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8'
  21             '67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a'
  22             '9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d'
  23             '65959359b44562da7263e449bbeae33ede3a0a647f6044a01a0babf10ca0bd19')
  24
  25 package() {
  26   mkdir -p "$pkgdir/usr/share/java" "$pkgdir/usr/bin" "$pkgdir/usr/share/licenses/$pkgname"
  27   cp -a "$srcdir/tla" "$pkgdir/usr/share/java/$pkgname"
  28   install -D -m 0755 {pcal2tla,sany,tla2tex,tlc} "$pkgdir/usr/bin"
  29   install -D -m 0644 "$srcdir/tla/License.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  30 }
  31
  32 # vim:set ts=2 sw=2 et: