ssreflect/PKGBUILD

   1 # Maintainer: Mathieu Boespflug <mboes@tweag.net>
   2
   3 pkgname=ssreflect
   4 pkgver=1.3pl1
   5 pkgrel=1
   6 pkgdesc="A set of extensions to the scripting language of Coq."
   7 url="http://www.msr-inria.inria.fr/Projects/math-components"
   8 arch=('i686' 'x86_64')
   9 license=('GPL')
  10 depends=('coq>=8.3pl1' 'coq<8.4')
  11 makedepends=()
  12 source=(http://www.msr-inria.inria.fr/Projects/math-components/$pkgname-$pkgver.tar.gz)
  13 md5sums=('6676cc1498c786aacd45758818548a01')
  14
  15 build() {
  16   cd $startdir/src/$pkgname-$pkgver
  17   make || return 1
  18   make DESTDIR=$pkgdir 'COQLIB:=$(DESTDIR)/$(shell coqtop -where)' install
  19 #  install -D bin/ssrcoq $pkgdir/usr/bin/
  20 }