summaryrefslogtreecommitdiff
path: root/extra/facile/PKGBUILD
blob: 6d48f77bd16a797c0208e10a515ac3539c1acd8b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# $Id: PKGBUILD 135660 2011-08-17 06:53:34Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>

pkgname=facile
pkgver=1.1
pkgrel=13
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
}