logfun/PKGBUILD

   1 # Maintainer: François Lebigre <francois.lebigre@gmail.com>
   2 pkgname=logfun
   3 pkgver=1.5.2
   4 pkgrel=1
   5 pkgdesc="Library of logic functors"
   6 arch=(i686 x86_64)
   7 url="http://www.irisa.fr/LIS/ferre/logfun/index.html"
   8 license=('GPL')
   9 depends=('ocaml>=3.08')
  10 source=(http://www.irisa.fr/LIS/ferre/logfun/download/$pkgname-$pkgver.tar.gz)
  11 md5sums=('24776d87a6ef98a787411042a9a9c8bd')
  12
  13 build() {
  14   cd "$srcdir/$pkgname-$pkgver"
  15
  16   make
  17 }
  18
  19 package() {
  20         cd "$srcdir/$pkgname-$pkgver"
  21
  22         mkdir -p $pkgdir$(ocamlc -where)
  23         make CAMLLIB="$pkgdir$(ocamlc -where)" install
  24 }
  25