summaryrefslogtreecommitdiff
path: root/extra/facile/PKGBUILD
blob: 6048b3f7299540b7ca463e8916f36aae27244668 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
# $Id: PKGBUILD 168478 2012-10-12 13:06:17Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>

pkgname=facile
pkgver=1.1
pkgrel=15
pkgdesc="A Functional Constraint Library"
arch=(i686 x86_64)
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
        ocaml-facile-ocaml-4.patch)

md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e')

build() {
  cd $startdir/src/$pkgname-$pkgver
  # fix ocaml4
  patch -Np1 -i ../ocaml-facile-ocaml-4.patch
  ./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
}
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
         '1ffc2f08c9f1db8ef0d444ec06f82b79')