mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-05 14:57:15 +08:00
24 lines
662 B
Bash
24 lines
662 B
Bash
# $Id: PKGBUILD 66913 2010-02-02 02:23:33Z pierre $
|
|
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
|
|
|
|
pkgname=facile
|
|
pkgver=1.1
|
|
pkgrel=11
|
|
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)
|
|
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
|
|
}
|