# $Id: PKGBUILD 88117 2010-08-19 14:40:05Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>

pkgname=facile
pkgver=1.1
pkgrel=12
pkgdesc="A Functional Constraint Library"
arch=(i686 x86_64 'mips64el')
url="http://www.recherche.enac.fr/opti/facile/"
license="LGPL"
makedepends=('ocaml')
depends=()
source=(http://www.recherche.enac.fr/opti/facile/distrib/$pkgname-$pkgver.tar.gz)
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')

build() {
  cd $startdir/src/$pkgname-$pkgver
  ./configure
  make || return 1
  mkdir -p $startdir/pkg/usr/lib/ocaml/facile
  cd src
  install -D -m 644 facile.cmxa facile.cmi facile.cma facile.a $startdir/pkg/usr/lib/ocaml/facile
}