ott/PKGBUILD

   1 # Maintainer: Nicolas Pouillard <nicolas.pouillard@gmail.com>
   2
   3 pkgname=ott
   4 pkgver=0.21.1
   5 pkgrel=1
   6 pkgdesc="Ott, a tool for writing definitions of programming languages and calculi"
   7 arch=('i686' 'x86_64')
   8 url="http://www.cl.cam.ac.uk/~pes20/ott"
   9 license=('custom:BSD3')
  10 depends=('glibc' 'ocaml' 'texlive-core')
  11 source=("http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_$pkgver.tar.gz"
  12         "http://www.cl.cam.ac.uk/~pes20/ott/ott_manual_$pkgver.pdf")
  13
  14 md5sums=('2df97706033f68d7eee09d05a63b819c'
  15          'b84202f1b84cf063808752bf60e496c2')
  16
  17 build() {
  18   cd $srcdir/ott_distro_$pkgver
  19   make world || return 1
  20   install -D bin/ott ${pkgdir}/usr/bin/ott
  21   install -D LICENCE ${pkgdir}/usr/share/licenses/ott/LICENCE
  22   install -D -m644 tex/ottlayout.sty \
  23     $startdir/pkg/opt/texlive/texmf-local/tex/latex/$pkgname/ottlayout.sty
  24   cd $srcdir
  25   install -D ott_manual_$pkgver.pdf ${pkgdir}/usr/share/doc/ott/ott_manual.pdf
  26 }