summaryrefslogtreecommitdiff
path: root/extra/facile/PKGBUILD
blob: 6bfc3812e5047d2d1aa4fd465adef0789b1c42b6 (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
30
31
32
33
34
35
36
# $Id: PKGBUILD 195985 2013-10-07 07:06:20Z tpowa $
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>

pkgname=facile
pkgver=1.1
pkgrel=16
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
        ocaml-facile-ocaml-4.patch
        facile-1.1-ocaml.patch)
md5sums=('ab673e1fc0859a42bcb639a02c2d7e9e'
         '1ffc2f08c9f1db8ef0d444ec06f82b79'
         '0c07248878354f8bcfc101df70bf55e5')

build() {
  cd "$srcdir/$pkgname-$pkgver"
  # fix ocaml4
  patch -Np1 -i ../ocaml-facile-ocaml-4.patch
  if [ "$CARCH" == "mips64el" ]; then
    patch -Np1 -i "${srcdir}/facile-1.1-ocaml.patch"
  fi
  ./configure
  make
}

package() {
  cd "$srcdir/$pkgname-$pkgver/src"
  install -d "$pkgdir/usr/lib/ocaml/facile"
  [ "$CARCH" != "mips64el" ] && extra=facile.cmxa facile.a
  install -D -m 644 facile.cmi facile.cma $extra "$pkgdir/usr/lib/ocaml/facile"
}