coq-pcc/PKGBUILD

   1 # Maintainer: Matthias Diehn Ingesman <matthias@ingesman.dk>
   2
   3 pkgname=coq-pcc
   4 pkgver=0.16
   5 pkgrel=1
   6 pkgdesc="Program Calculation in Coq."
   7 url="http://traclifo.univ-orleans.fr/SDPP/"
   8 arch=('i686' 'x86_64')
   9 license=('CeCILL-C FREE')
  10 depends=('coq>=8.3pl1' 'coq<8.4')
  11 makedepends=()
  12 source=(http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-$pkgver.tar.bz2)
  13 md5sums=('d504493a33029ea8c2373fed96812789')
  14
  15 build() {
  16   cd "$srcdir/ProgramCalculationInCoq-$pkgver"
  17   patch < "$startdir/Makefile.patch"
  18   make || return 1
  19 }
  20
  21 package() {
  22   cd "$srcdir/ProgramCalculationInCoq-$pkgver"
  23   make DESTDIR=$pkgdir install
  24   install -D -m644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  25   install -D -m644 documentation/RR-2009-07.pdf "$pkgdir/usr/share/doc/$pkgname/RR-2009-07.pdf"
  26 }