diff options
Diffstat (limited to 'extra/facile/PKGBUILD')
| -rw-r--r-- | extra/facile/PKGBUILD | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/extra/facile/PKGBUILD b/extra/facile/PKGBUILD index dc128d465..9de25cd83 100644 --- a/extra/facile/PKGBUILD +++ b/extra/facile/PKGBUILD @@ -1,23 +1,29 @@ -# $Id: PKGBUILD 135660 2011-08-17 06:53:34Z tpowa $ +# $Id: PKGBUILD 166401 2012-09-07 16:46:16Z tpowa $ # Maintainer: Tobias Powalowski <tpowa@archlinux.org> pkgname=facile pkgver=1.1 -pkgrel=13 +pkgrel=14 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) +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') |